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="Guttag, J.V."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Preliminary report on the Larch shared language
J.V. Guttag
,
J.J. Horning
misc, 1983, October
On proving uniform termination and restricted termination of rewriting systems
J.V. Guttag
,
D. Kapur
,
D.R. Musser
SIAM Journal on Computing
12
, 1983, pp. 189-214
The algebraic specification of abstract data types
J.V. Guttag
,
J.J. Horning
Acta Informatica
10
(1), 1978, pp. 27-52
Proof rules for the programming language Euclid
R.L. London
,
J.V. Guttag
,
J.J. Horning
,
B.W. Lampson
,
J.G. Mitchell
,
G.J. Popek
Acta Informatica
10
(1), 1978, pp. 1-26