| 2000 |
|---|
| 5 | EE | 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 | EE | Peter Päppinghaus:
On the Logic of UNITY.
Theor. Comput. Sci. 139(1&2): 27-67 (1995) |
| 1985 |
|---|
| 3 | | Peter Päppinghaus:
Pi2-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;1-Sentences and Its Application to Normal Form Theorems.
J. Symb. Log. 46(3): 634-642 (1981) |
