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

Publications Master Template, generated: 9:13, 21 October 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Witold Charatonik
    Directional Type Checking for Logic Programs: Beyond Discriminative Types
    In: Proceedings of the 8th European Symposium on Programming (ESOP-00), Berlin, Germany, March, 27 - March, 31, 2000, 72-87
  2. Peter Barth
    A Complete Symbolic 0-1 Constraint Solver
    In: 3rd Workshop on Constraint Logic Programming (WCLP '93), Marseille, France, 1993, 1993
  3. 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
  4. Leszek Pacholski and Andreas Podelski
    Set Constraints: a Pearl in Research on Constraints
    In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), Linz, Austria, Obctober 29 - November 1, 1997, 549-562