Peter Päppinghaus

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2000

5 Egon Börger, Peter Päppinghaus, Joachim Schmid: Report on a Practical Application of ASMs in Software Design. Abstract State Machines 2000: 361-366

1995

4 Peter Päppinghaus: On the Logic of UNITY. Theor. Comput. Sci. 139(1&2): 27-67 (1995)

1985

3 Peter Päppinghaus: Pi₂-models of extensions of Kripke-Platek set theory. Logic Colloquium 1985: 213-232

1983

2 Hans Georg Carstens, Peter Päppinghaus: Extensible algorithms. Logic and Machines 1983: 162-182

1981

1 Jean-Yves Girard, Peter Päppinghaus: A Result on Implications of sigma;₁-Sentences and Its Application to Normal Form Theorems. J. Symb. Log. 46(3): 634-642 (1981)

	2000
5		Egon Börger, Peter Päppinghaus, Joachim Schmid: Report on a Practical Application of ASMs in Software Design. Abstract State Machines 2000: 361-366
	1995
4		Peter Päppinghaus: On the Logic of UNITY. Theor. Comput. Sci. 139(1&2): 27-67 (1995)
	1985
3		Peter Päppinghaus: Pi₂-models of extensions of Kripke-Platek set theory. Logic Colloquium 1985: 213-232
	1983
2		Hans Georg Carstens, Peter Päppinghaus: Extensible algorithms. Logic and Machines 1983: 162-182
	1981
1		Jean-Yves Girard, Peter Päppinghaus: A Result on Implications of sigma;₁-Sentences and Its Application to Normal Form Theorems. J. Symb. Log. 46(3): 634-642 (1981)

Coauthor Index