Peter Päppinghaus
According to our database1,
Peter Päppinghaus
authored at least 9 papers
between 1980 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
Proceedings of the Abstract State Machines, 2000
1995
1989
Arch. Math. Log., 1989
1985
Pi<sub>2</sub>-models of extensions of Kripke-Platek set theory.
Proceedings of the Logic Colloquium '85, Orsay, France, 1985
1983
Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983
1981
A Result on Implications of sigma;<sub>1</sub>-Sentences and Its Application to Normal Form Theorems.
J. Symb. Log., 1981
1980
Arch. Math. Log., 1980