2001
The first-order theory of ordering constraints over feature
trees (Martin Müller and Joachim Niehren and Ralf Treinen )
2000
Ordering Constraints over Feature Trees (Martin Müller and Joachim Niehren and Andreas Podelski)
Ordering Constraints over Feature Trees Expressed in
Second-order Monadic Logic (Martin Müller and Joachim Niehren)
1999
Set-based Failure Analysis for Logic Programs and
Concurrent Constraint Programs (Andreas Podelski and Witold Charatonik and Martin
Müller)
1998
Entailment of Atomic Set Constraints is PSPACE-Complete (Joachim Niehren and Martin Müller and Jean-Marc Talbot)
Set-based Failure Diagnosis for Concurrent
Constraint Programming (Martin Müller)
Type Inference for First-Class Messages with Feature Constraints (Martin Müller and Susumu Nishimura)
Ordering Constraints over Feature Trees Expressed in
Second-order Monadic Logic (Martin Müller and Joachim Niehren)
The First-Order Theory of Ordering Constraints over
Feature Trees (Martin Müller and Joachim Niehren and Ralf Treinen)
1997
Typed Concurrent Programming with Logic Variables (Martin Müller and Joachim Niehren and Gert Smolka)
Set-based Error Diagnosis of Concurrent Constraint Programs (Andreas Podelski and Witold Charatonik and Martin Müller)
Finite Set Constraints in Oz (Tobias Müller and Martin Müller)
Ordering Constraints over Feature Trees (Martin Müller and Joachim Niehren and Andreas
Podelski)
Entailment of Set Constraints is not Feasible (Martin Müller and Joachim Niehren)
Inclusion Constraints over Non-Empty Sets of Trees (Joachim Niehren and Martin Müller and Andreas
Podelski)
|