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

Publications Master Template, generated: 22:00, 13 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Andreas Podelski and Andrey Rybalchenko
    ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
    In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, 2007, 245-259

  2. Alexander Bockmayr
    Constraints in functional logic programming (Abstract)
    In: Integration of functional and logic languages, Schloss Dagstuhl, Germany, 20.05.-24.05.96, 1996, 4 p.
  3. Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Thomas Kleemann
    Optimizing the Evaluation of XPath Using Description Logics
    In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, 2005, 1-15