Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Padawitz, Peter"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Swinging types = functions + relations + transition systems
Peter Padawitz
Theoretical Computer Science
243
(1-2), 2000, pp. 93-165
Inductive theorem proving for design specifications
Peter Padawitz
Journal Symbolic Computation
21
(1), 1996, pp. 41-99
The equational theory of parametrized specifications
Peter Padawitz
Information and Computation
76
(2/3), 1988, pp. 121-137
New results on completeness and consistency of abstract data types
Peter Padawitz
Lecture Notes in Computer Science
88
, 1980, pp. 460-473