| |
| 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) | |
| 1 | Egon Börger | [5] |
| 2 | Hans Georg Carstens | [2] |
| 3 | Jean-Yves Girard | [1] |
| 4 | Joachim Schmid | [5] |