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

Publications Master Template, generated: 3:57, 15 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. 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.
  2. Supratik Mukhopadhyay and Andreas Podelski
    Model Checking for Timed Logic Processes
    In: Proceedings of the 1st International Conference on Computational Logic, Imperial College, London, UK, 24-28 July, 2000, 2000, 598-612