Peter Päppinghaus

Publication Activity (10 Years)

Years Active: 1980-2000
Publications (10 Years): 0

Publications

Egon Börger, Peter Päppinghaus, Joachim Schmid
Report on a Practical Application of ASMs in Software Design. Abstract State Machines (2000)
Peter Päppinghaus
On the Logic of UNITY. Theor. Comput. Sci. 139 (1&2) (1995)
Peter Päppinghaus
Rekursion über Dilatoren und die Bachmann-Hierarchie. Arch. Math. Log. 28 (1) (1989)
Peter Päppinghaus
und Definierbarkeit von Ordinalzahlen. Arch. Math. Log. 28 (2) (1989)
Peter Päppinghaus
-models of extensions of Kripke-Platek set theory. Logic Colloquium (1985)
Hans Georg Carstens, Peter Päppinghaus
Extensible algorithms. Logic and Machines (1983)
Hans Georg Carstens, Peter Päppinghaus
Recursive coloration of countable graphs. Ann. Pure Appl. Log. 25 (1) (1983)
Jean-Yves Girard, Peter Päppinghaus
-Sentences and Its Application to Normal Form Theorems. J. Symb. Log. 46 (3) (1981)
Peter Päppinghaus
-reflection principle for CFA provable in PRA. Arch. Math. Log. 20 (1-2) (1980)