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

Publications Master Template, generated: 20:25, 16 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. 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
  2. Andreas Nonnengart
    How to Use Modalities and Sorts in Prolog
    In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, York, UK, September 5-8, 1994, 1994, 365-378
  3. Yannis Dimopoulos
    The Computational Value of Joint Consistency
    In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, York, UK, September 5-8, 1994, 1994, 50-65