Martin Müller

Publication Activity (10 Years)

Years Active: 1992-2001
Publications (10 Years): 0

Publications

Martin Müller, Joachim Niehren, Ralf Treinen
The first-order theory of ordering constraints over feature trees. Discret. Math. Theor. Comput. Sci. 4 (2) (2001)
Martin Müller, Joachim Niehren
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. Inf. Comput. 159 (1-2) (2000)
Martin Müller, Joachim Niehren, Andreas Podelski
Ordering Constraints over Feature Trees. Constraints An Int. J. 5 (1/2) (2000)
Joachim Niehren, Martin Müller, Jean-Marc Talbot
Entailment of Atomic Set Constraints is PSPACE-Complete. LICS (1999)
Andreas Podelski, Witold Charatonik, Martin Müller
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. ESOP (1999)
Martin Müller, Joachim Niehren, Ralf Treinen
The First-Order Theory of Ordering Constraints over Feature Trees. LICS (1998)
Martin Müller, Joachim Niehren
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. RTA (1998)
Martin Müller, Joachim Niehren, Andreas Podelski
Inclusion Constraints over Non-empty Sets of Trees. TAPSOFT (1997)
Martin Müller, Joachim Niehren, Andreas Podelski
Ordering Constraints over Feature Trees. CP (1997)
Martin Müller, Gert Smolka
Oz: nebenläufige Programmierung mit Constraints. Künstliche Intell. 10 (3) (1996)
Joachim Niehren, Martin Müller
Constraints for Free in Concurrent Computing. CCP (1995)
Martin Müller, Joachim Niehren
Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm CoRR (1995)
Joachim Niehren, Martin Müller
Constraints for Free in Concurrent Computation. ASIAN (1995)
Jürgen Dix, Martin Müller
An Axiomatic Approach to Semantics of Disjunctive Programs. ICLP (1994)
Jürgen Dix, Martin Müller
Partial Evaluation and Relevance for Approximations of Stable Semantics. ISMIS (1994)
Jürgen Dix, Martin Müller
The Stable Semantics and its Variants: A Comparison of Recent Approaches. KI (1994)
Martin Müller, Jürgen Dix
Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). LPNMR (1993)
Jürgen Dix, Martin Müller
Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)