|
Search the dblp DataBase
Peter Päppinghaus:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Egon Börger, Peter Päppinghaus, Joachim Schmid
Report on a Practical Application of ASMs in Software Design. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2000, pp:361-366 [Conf]
- Hans Georg Carstens, Peter Päppinghaus
Extensible algorithms. [Citation Graph (0, 0)][DBLP] Logic and Machines, 1983, pp:162-182 [Conf]
- Peter Päppinghaus
Pi2-models of extensions of Kripke-Platek set theory. [Citation Graph (0, 0)][DBLP] Logic Colloquium, 1985, pp:213-232 [Conf]
- Jean-Yves Girard, Peter Päppinghaus
A Result on Implications of sigma;1-Sentences and Its Application to Normal Form Theorems. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1981, v:46, n:3, pp:634-642 [Journal]
- Peter Päppinghaus
On the Logic of UNITY. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:139, n:1&2, pp:27-67 [Journal]
Search in 0.001secs, Finished in 0.001secs
|