 | 2002 |
|---|
| 14 |       | Peter Schroeder-Heister:
Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen.
Bulletin of Symbolic Logic 8(2): 246-265 (2002) |
| 2001 |
|---|
| 13 |  | Reinhard Kahle,
Peter Schroeder-Heister,
Robert F. Stärk:
Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Springer 2001 |
| 1996 |
|---|
| 12 | | Roy Dyckhoff,
Heinrich Herre,
Peter Schroeder-Heister:
Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings
Springer 1996 |
| 1995 |
|---|
| 11 | | Jörg Hudelmaier,
Peter Schroeder-Heister:
Classical Lambek Logic.
TABLEAUX 1995: 247-262 |
| 1993 |
|---|
| 10 | | Peter Schroeder-Heister:
Definitional Reflection and the Completion.
ELP 1993: 333-347 |
| 9 | | Peter Schroeder-Heister:
Rules of Definitional Reflection
LICS 1993: 222-232 |
| 1992 |
|---|
| 8 | | Lars-Henrik Eriksson,
Lars Hallnäs,
Peter Schroeder-Heister:
Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings
Springer 1992 |
| 1991 |
|---|
| 7 | | Peter Schroeder-Heister:
Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings
Springer 1991 |
| 6 | | Lars Hallnäs,
Peter Schroeder-Heister:
A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions.
J. Log. Comput. 1(5): 635-660 (1991) |
| 1990 |
|---|
| 5 | | Peter Schroeder-Heister:
Cut Elimination for Logics with Definitional Reflection.
Nonclassical Logics and Information Processing 1990: 146-171 |
| 4 | | Lars Hallnäs,
Peter Schroeder-Heister:
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules.
J. Log. Comput. 1(2): 261-283 (1990) |
| 1989 |
|---|
| 3 | | Peter Schroeder-Heister:
Hypothetical Reasoning and Definitional Reflection in Logic Programming.
ELP 1989: 327-339 |
| 1988 |
|---|
| 2 | | Kosta Dosen,
Peter Schroeder-Heister:
Uniqueness, Definability and Interpolation.
J. Symb. Log. 53(2): 554-570 (1988) |
| 1984 |
|---|
| 1 | | Peter Schroeder-Heister:
A Natural Extension of Natural Deduction.
J. Symb. Log. 49(4): 1284-1300 (1984) |
