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

Publications Master Template, generated: 11:26, 18 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Harald Ganzinger and Hans de Nivelle
    A Superposition Decision Procedure for the Guarded Fragment with Equality
    In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), Trento, Italy, Trento, Italy, 1999, 295-303
    [PDF: Download: 99LICS_2.pdf] [PS: Download: 99LICS_2_ps.gz]
  2. Jean-Marc Talbot, Joachim Niehren, and Martin Müller
    Entailment of Atomic Set Constraints is PSPACE-Complete
    In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), Trento, Italy, July, 2 - 5, 1999, 285-294
  3. Harald Ganzinger, Christoph Meyer, and Margus Veanes
    The Two-Variable Guarded Fragment with Transitive Relations
    In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), Trento, Italy, Trento, Italy, 1999, 24-34