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="Havel, Ivan M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On two types of loops
Ivan M. Havel
Lecture Notes in Computer Science
74
, 1979, pp. 89-107
Normal forms of deterministic grammars
Matthew Geller
,
Michael A. Harrison
,
Ivan M. Havel
Discrete Mathematics
16
, 1976, pp. 313-321
On the branching structure of languages
Ivan M. Havel
Lecture Notes in Computer Science
45
, 1976, pp. 81-98
Finite branching automata: Automata theory motivated by problem solving
Ivan M. Havel
Lecture Notes in Computer Science
28
, 1975, pp. 53-61
Nondeterministically recognizable sets of languages
Ivan M. Havel
Lecture Notes in Computer Science
32
, 1975, pp. 252-257
Strict deterministic grammars
Michael A. Harrison
,
Ivan M. Havel
Journal of Computer and System Sciences
7
, 1973, pp. 237-277
Some results concerning the situation calculus
Olga Stepánková
,
Ivan M. Havel
Proceedings of the 2nd Symposium and Summer School on Mathematical Foundations of Computer Science, MFCS'1973 (Strbské Pleso, High Tatras, Czechoslovakia, September 3-8, 1973)
, 1973, pp. 321-326