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

Publications Master Template, generated: 2:28, 6 December 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. David A. Basin
    Logic Frameworks for Logic Programs
    In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), Pisa, Italy, June, 20-21, 1994, 1994, 1-16. Note: Also available as Research Report MPI-I-94-218, Max-Planck-Institut für Informatik, Saarbrücken
  2. Witold Charatonik and Jean-Marc Talbot
    The Decidability of Model Checking Mobile Ambients
    In: Computer science logic (CSL-01) : 15th International Workshop, CSL 2001, Annual Conference of the EACSL, Paris, France, September 10-13, 2001, 2001, 339-354