Peter Päppinghaus
发表
Peter Päppinghaus,
1989,
Arch. Math. Log..
Jean-Yves Girard,
Peter Päppinghaus,
1981,
J. Symb. Log..
Egon Börger,
Peter Päppinghaus,
Joachim Schmid,
2000,
Abstract State Machines.
Hans Georg Carstens,
Peter Päppinghaus,
H. Carstens,
1983,
Logic and Machines.
Peter Päppinghaus,
Peter Päppinghaus,
1995,
Theor. Comput. Sci..
Peter Päppinghaus,
Peter Päppinghaus,
1989,
Arch. Math. Log..
Peter Päppinghaus,
1980,
Arch. Math. Log..
Hans Georg Carstens,
Peter Päppinghaus,
H. Carstens,
1983,
Ann. Pure Appl. Log..
Peter Päppinghaus,
1985,
Logic Colloquium.
Martin Wirsing,
Peter Päppinghaus,
M. Wirsing,
1983
.