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

Publications Master Template, generated: 20:19, 14 October 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Martin Müller, Joachim Niehren, and Andreas Podelski
    Ordering Constraints over Feature Trees
    Constraints 5 (1/2): 7-41, 2000
  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. Andreas Podelski, Witold Charatonik, and Martin Müller
    Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
    In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), Amsterdam, The Netherlands, March, 22nd-26th, 1999, 177-192
  4. Martin Müller, Joachim Niehren, and Andreas Podelski
    Inclusion Constraints over Non-empty Sets of Trees
    In: Proceedings of the 7th International Joint Conference CAAP/FASE: Theory and practice of software development (TAPSOFT-97), Lille, France, April, 1997, 345-356
  5. Martin Müller, Joachim Niehren, and Andreas Podelski
    Ordering Constraints over Feature Trees
    In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), Linz, Austria, October 29 - November 1, 1997, 549-562