Martin Müller

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