Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 8:28, 29 January 2020

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Andreas Podelski and Gert Smolka
    Situated Simplification
    Theoretical Computer Science 173 (1): 235-252, 1997. Note: Preliminary Version in Ugo Montanari, editor, Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95). Springer LNCS 976, 1995.
  2. Andreas Podelski and Gert Smolka
    Operational Semantics of Constraint Logic Programming with Coroutining
    In: Proceedings of the 12th International Conference on Logic Programming, Kanagawa, Japan, June, 1995, 449-463
  3. Andreas Podelski and Gert Smolka
    Situated Simplification
    In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), Cassis, France, September, 1995, 328-344