Search the dblp DataBase

Publications of Author

1. Peter Schroeder-Heister
   Cut Elimination for Logics with Definitional Reflection. [Citation Graph (0, 0)][DBLP]
   Nonclassical Logics and Information Processing, 1990, pp:146-171 [Conf]
   
2. Peter Schroeder-Heister
   Hypothetical Reasoning and Definitional Reflection in Logic Programming. [Citation Graph (0, 0)][DBLP]
   ELP, 1989, pp:327-339 [Conf]
   
3. Peter Schroeder-Heister
   Definitional Reflection and the Completion. [Citation Graph (0, 0)][DBLP]
   ELP, 1993, pp:333-347 [Conf]
   
4. Peter Schroeder-Heister
   Rules of Definitional Reflection [Citation Graph (0, 0)][DBLP]
   LICS, 1993, pp:222-232 [Conf]
   
5. Jörg Hudelmaier, Peter Schroeder-Heister
   Classical Lambek Logic. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1995, pp:247-262 [Conf]
   
6. Peter Schroeder-Heister
   Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. [Citation Graph (0, 0)][DBLP]
   Bulletin of Symbolic Logic, 2002, v:8, n:2, pp:246-265 [Journal]
   
7. Kosta Dosen, Peter Schroeder-Heister
   Uniqueness, Definability and Interpolation. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1988, v:53, n:2, pp:554-570 [Journal]
   
8. Peter Schroeder-Heister
   A Natural Extension of Natural Deduction. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1984, v:49, n:4, pp:1284-1300 [Journal]
   
9. Lars Hallnäs, Peter Schroeder-Heister
   A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1990, v:1, n:2, pp:261-283 [Journal]
   
10. Lars Hallnäs, Peter Schroeder-Heister
    A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:5, pp:635-660 [Journal]