dblp.uni-trier.dewww.uni-trier.de

Peter Schroeder-Heister

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
14EEPeter 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)

Coauthor Index

1Kosta Dosen [2]
2Roy Dyckhoff [12]
3Lars-Henrik Eriksson [8]
4Lars Hallnäs [4] [6] [8]
5Heinrich Herre [12]
6Jörg Hudelmaier [11]
7Reinhard Kahle [13]
8Robert F. Stärk [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)