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="Cousineau, G."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An algebraic definition for control structures
G. Cousineau
Theoretical Computer Science
12
, 1980, pp. 175-192
Program equivalence and provability
G. Cousineau
,
P. Enjalbert
Lecture Notes in Computer Science
74
, 1979, pp. 237-245
A note on 1-locally linear languages
J.M. Autebert
,
L. Boasson
,
G. Cousineau
Information and Control
37
, 1978, pp. 1-4