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
[3]
Hilfe
Suche: Author="Luckham, David C."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Automatic program verification I: A logical basis and its implementation
Shigeru Igarashi
,
Ralph L. London
,
David C. Luckham
Acta Informatica
4
, 1975, pp. 145-182
Program schemes, recursion schemes, and formal languages
Stephen J. Garland
,
David C. Luckham
Journal of Computer and System Sciences
7
, 1973, pp. 119-160