Search the dblp DataBase

Publications of Author

1. Martin Müller, Jürgen Dix
   Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). [Citation Graph (1, 0)][DBLP]
   LPNMR, 1993, pp:43-59 [Conf]
   
2. Martin Müller, Susumu Nishimura
   Type Inference for First-Class Messages with Feature Constraints. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1998, pp:169-187 [Conf]
   
3. Joachim Niehren, Martin Müller
   Constraints for Free in Concurrent Computation. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1995, pp:171-186 [Conf]
   
4. Martin Müller, Joachim Niehren, Andreas Podelski
   Ordering Constraints over Feature Trees. [Citation Graph (0, 0)][DBLP]
   CP, 1997, pp:297-311 [Conf]
   
5. Andreas Podelski, Witold Charatonik, Martin Müller
   Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
   ESOP, 1999, pp:177-192 [Conf]
   
6. Jürgen Dix, Martin Müller
   Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
   Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992, pp:15-28 [Conf]
   
7. Jürgen Dix, Martin Müller
   An Axiomatic Approach to Semantics of Disjunctive Programs. [Citation Graph (0, 0)][DBLP]
   ICLP, 1994, pp:303-320 [Conf]
   
8. Jürgen Dix, Martin Müller
   Partial Evaluation and Relevance for Approximations of Stable Semantics. [Citation Graph (0, 0)][DBLP]
   ISMIS, 1994, pp:511-520 [Conf]
   
9. Jürgen Dix, Martin Müller
   The Stable Semantics and its Variants: A Comparison of Recent Approaches. [Citation Graph (0, 0)][DBLP]
   KI, 1994, pp:82-93 [Conf]
   
10. Joachim Niehren, Martin Müller, Jean-Marc Talbot
    Entailment of Atomic Set Constraints is PSPACE-Complete. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:285-294 [Conf]
    
11. Martin Müller, Joachim Niehren, Ralf Treinen
    The First-Order Theory of Ordering Constraints over Feature Trees. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:432-443 [Conf]
    
12. Martin Müller, Joachim Niehren
    Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. [Citation Graph (0, 0)][DBLP]
    RTA, 1998, pp:196-210 [Conf]
    
13. Martin Müller, Joachim Niehren, Andreas Podelski
    Inclusion Constraints over Non-empty Sets of Trees. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:345-356 [Conf]
    
14. Tobias Müller, Martin Müller
    Finite Set Intervals in Oz. [Citation Graph (0, 0)][DBLP]
    WLP, 1997, pp:17-19 [Conf]
    
15. Martin Müller, Joachim Niehren, Andreas Podelski
    Ordering Constraints over Feature Trees. [Citation Graph (0, 0)][DBLP]
    Constraints, 2000, v:5, n:1/2, pp:7-41 [Journal]
    
16. Martin Müller, Joachim Niehren, Ralf Treinen
    The first-order theory of ordering constraints over feature trees. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics & Theoretical Computer Science, 2001, v:4, n:2, pp:193-234 [Journal]
    
17. Martin Müller, Joachim Niehren
    Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:159, n:1-2, pp:22-58 [Journal]
    
18. Martin Müller, Susumu Nishimura
    Type Inference for First-Class Messages with Feature Constraints. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2000, v:11, n:1, pp:29-63 [Journal]
    
19. Martin Müller, Gert Smolka
    Oz: nebenläufige Programmierung mit Constraints. [Citation Graph (0, 0)][DBLP]
    KI, 1996, v:10, n:3, pp:55-61 [Journal]
    
20. 
    A Study of UCT and Its Enhancements in an Artificial Game. [Citation Graph (, )][DBLP]
    
    
21. 
    Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm [Citation Graph (, )][DBLP]