The First-Order Theory of Ordering Constraints over Feature Trees
(pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Discrete Mathematics and Theoretical Computer Science
Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic
(pdf)
Martin Müller, Joachim Niehren
Information and Computation
Ordering Constraints over Feature Trees
(pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Constraints, an International Journal
Type Inference for First-Class Messages with Feature Constraints
(pdf)
Martin Müller, Susumu Nishimura
International Journal of Foundations of Computer Science
Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
(pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Proceedings of ESOP'99, the European Symposium of Programmin
Entailment of Atomic Set Constraints is PSPACE-Complete
(pdf)
Martin Müller, Joachim Niehren, Jean-Marc Talbot
Fourteenth Annual IEEE Symposium on Logic in Computer Sience
The First-Order Theory of Ordering Constraints over Feature Trees
(pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Thirteenth annual IEEE Symposium on Logic in Computer Sience (LICS98)
Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic
(pdf)
Martin Müller, Joachim Niehren
International Conference on Rewriting Techniques and Applications
Type Inference for First-Class Messages with Feature Constraints
(pdf)
Martin Müller, Susumu Nishimura
Asian Computer Science Conference (ASIAN 98)
Set-based Failure Diagnosis for Concurrent Constraint Programming
(pdf)
Martin Müller
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik
Inclusion Constraints over Non-Empty Sets of Trees
(pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS
Ordering Constraints over Feature Trees
(pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Proceedings of the Third International Conference on Principles and Practice of Constraint Programming
Finite Set Constraints in Oz
(pdf)
Tobias Müller, Martin Müller
13. Workshop Logische Programmierung
Set-based Error Diagnosis of Concurrent Constraint Programs
(pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Technical Report, \URL\tt http://www.ps.uni-sb.de/Paper/abstracts/Diagnosis-97.html. Submitted.
Oz: Nebenläufige Programmierung mit Constraints
(pdf)
Martin Müller, Gert Smolka
KI - Künstliche Intelligenz
Multi-Paradigm Programming in Oz
(pdf)
Martin Müller, Tobias Müller, Peter Van Roy
Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog
A Type is a Type is a Type
(pdf)
Martin Müller, Joachim Niehren
Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing
Constraints for Free in Concurrent Computation
(pdf)
Martin Müller, Joachim Niehren
Asian Computing Science Conference
A Constraint-Based Recast of ML-Polymorphism
(pdf)
Martin Müller
8$^th$ # International Workshop on Unification