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="Gunter, Carl A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Formal verification of standards for distance vector routing protocols
Karthikeyan Bhargavan
,
Davor Obradovic
,
Carl A. Gunter
Journal of the ACM
49
(4), 2002, pp. 538-576
Computing ML equality kinds using abstract interpretation
Carl A. Gunter
,
Elsa L. Gunter
,
David B. MacQueen
Information and Computation
107
(2), 1993, December, pp. 303-323
The mixed powerdomain
Carl A. Gunter
Theoretical Computer Science
103
, 1992, pp. 311-334
Inheritance as implicit coercion
Val Breazu-Tannen
,
Thierry Coquand
,
Carl A. Gunter
,
Andre Scedrov
Information and Computation
93
(1), 1991, July, pp. 172-221