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
Hilfe
Suche: Author="Sestoft, Peter"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Decidability and undecidability results for duration calculus
Zhou Chaochen
,
Michael R. Hansen
,
Peter Sestoft
Lecture Notes in Computer Science
665
, 1993, pp. 58-68
Referential transparency, definiteness and unfoldability
Harald Sndergaard
,
Peter Sestoft
Acta Informatica
27
, 1990, pp. 505-517