Papers

2001		The First-Order Theory of Ordering Constraints over Feature Trees. Martin Müller, Joachim Niehren, and Ralf Treinen. Discrete Mathematics & Theoretical Computer Science 4, 2001, 193--234. This article extends on a paper presented at LICS'98.
2000		Type Inference for First-Class Messages with Feature Costraints.Martin Müller and Susumu Nishimura. International Journal of Foundations of Computer Science vol. 11, no. 1, pp 29-63. Special issue on ASIAN'98. World Scientific Publishing.   Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic. Martin Müller and Joachim Niehren. Journal on Information and Computation, 159(1/2), pages 22-58. Special issue on RTA'98, May/June 2000. Ordering Constraints over Feature Trees. Martin Müller, Joachim Niehren, and Andreas Podelski. Constraints, an International Journal, 5(1-2), pages 7-42. Special Issue on CP'97. January 2000.
1999		Type Inference for First-Class Messages with Feature Constraints. Martin Müller and Susumu Nishimura. Short excerpt (ps gif-1 gif-2 gif-3 gif-4) appeared in JSSST'99, Japanese Society for Software Science and Technology (in Japanese).  Hindley/Milner Style Type Systems in Constraint Form. Martin Sulzmann, Martin Müller, and Christoph Zenger. University of South Australia, School of Computer and Information Science, Research Report ACRC-99-009, July 1999.   Entailment of Atomic Set Constraints is PSPACE-Complete. Joachim Niehren, Martin Müller, and Jean-Marc Talbot. 14th IEEE Symposium on Logic in Computer Science (LICS'99), July 2-5, 1999, Trento, Italy. An extended version is available. Set-based Error Diagnosis of Concurrent Constraint Programs. Andreas Podelski, Witold Charatonik, and Martin Müller. European Symposium on Programming, (ESOP'99), pp 177-192, LNCS 1576. Dynamic Lambda Calculus. Michael Kohlhase, Susanna Kuschert, and Martin Müller. Submitted.
1998		Notes on HM(X). Martin Müller. Technical Note.  Type Inference for First-Class Messages with Feature Constraints.Martin Müller and Susumu Nishimura. Asian Computing Science Conference ASIAN'98. Manila, The Philippines, December 8-10, 1998. Superseded by journal publication. Set-based Failure Diagnosis for Concurrent Constraint Programming.Doctoral Dissertation. Universität des Saarlandes, Technische Fakultät, D 66041 Saarbrücken. May 1998. Martin Müller. Defense: July 22nd, 1998. The First-order Theory of Ordering Constraints over Feature Trees. 13th IEEE Symposium on Logic in Computer Science LICS'98. Indianapolis, Indiana, Martin Müller and Joachim Niehren and Ralf Treinen. Superseded by journal publication. Typed Concurrent Programming with Logic Variables. Martin Müller, Joachim Niehren, and Gert Smolka. Technical Report.  Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic. Conference on Rewriting Techniques and Applications RTA'98, Tsukuba, Japan.Martin Müller and Joachim Niehren. Superseded by journal publication.
1997		Finite Set Constraints in Oz. Tobias Müller and Martin Müller. German Workshop on Logic Programming WLP'97. München, 1997.  Entailment of Set Constraints is not Feasible. Technical Report. Programming Systems Lab. Martin Müller and Joachim Niehren.  Superseded by LICS´99 paper.  Ordering Constraints over Feature Trees. Martin Müller, Joachim Niehren, and Andreas Podelski.. Conference on Principles and Practice of Constraint Programming (CP'97). Schloss Hagenberg, Austria, 1997. LNCS, Springer. Superseded by journal publication.  Ordering Constraints over Feature Trees with Ordered Sorts. Martin Müller. Accepted for Computational Logic and Natural Language Understanding, 199?. Manandhar et al (eds.). LNAI, Springer.  Inclusion Constraints over Non-empty Sets of Trees. Martin Müller, Joachim Niehren, and Andreas Podelski. CAAP - Colloquium on Trees in Algebra and Programming, April 1997, Lille, France. LNCS, Springer. (Short conference version)
1996		Oz: Nebenläufige Programmierung mit Constraints. Martin Müller und Gert Smolka. KI - Künstliche Intelligenz. Themenheft Logische Programmierung. pp 55-61, 9/1996. In German.
1995		Multiparadigm Programming in Oz. Martin Müller, Tobias Müller and Peter Van Roy. ILPS'95 Workshop on Visions for the Future of Logic Programming. Constraints for Free in Concurrent Computation. Joachim Niehren and Martin Müller. Asian Computer Science Conference ASIAN'95. Pathumthani, Thailand. December 11-13, 1995.  Munchkins: A Shell for Distributed Multi-User Games Martin Henz, Martin Müller, and Markus Wolf. First International Workshop on Oz Programming, November/December 1995.  A Type is a Type is a Type Martin Müller and Joachim Niehren. (Improved version of Weak Subsumption Constraints for Type Diagnosis: An Incremental Algorithm) Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing. Edinburgh, Scotland. April 3-5, 1995.  Constraints for Free in Concurrent Computation. Joachim Niehren and Martin Müller. 1st International Workshop on Concurrent Constraint Programming. Venice, Italy. May 1995. Improved version appeared in ASIAN'95.
1994		A Constraint-Based Recast of ML-Polymorphism (Abstract). Martin Müller. 8th International Workshop on Unification. Val d'Ajol, France. June 1994  An Axiomatic Approach to Semantics of Disjunctive Programs. Jürgen Dix and Martin Müller. 11th International Conference on Logic Programming, S. Margherita Ligure, Italy. 1994.  Partial Evaluation and Relevance for Approximations of the Stable Semantics. Jürgen Dix and Martin Müller. 8th International Symposium on Methodologies for Intelligent Systems, Charlotte, North Carolina. October 1994.  The Stable Semantics and its Variants: A Comparison of Recent Approaches. Jürgen Dix and Martin Müller. 18th German Annual Conference on Artificial Intelligence (KI-94), Saarbrücken, Germany. September 1994. The papers coauthored by Jürgen Dix also appeared as technical reports from the University of Koblenz.
1994		Implementing Semantics for Disjunctive Logic Programs Using Fringes and Abstract Properties. Martin Müller and Jürgen Dix. 2nd International Workshop on Logic Programming and Nonmonotonic Reasoning, Lisbon, Portugal. 1993.
Miscellaneous		Polymorphic Types for Concurrent Constraints. Martin Müller.  Attributed Variables in Oz. Michael Mehl, Martin Müller and Gert Smolka.