Follow
Ivan M. Havel
Ivan M. Havel
Verified email at cts.cuni.cz
Title
Cited by
Cited by
Year
Strict deterministic grammars
MA Harrison, IM Havel
Journal of Computer and System Sciences 7 (3), 237-277, 1973
1091973
Scale dimensions in nature
IM Havel
International Journal of General System 24 (3), 295-324, 1996
751996
On the parsing of deterministic languages
IM Havel, MA Harrison
Journal of the ACM (JACM) 21 (4), 525-548, 1974
751974
Real-time strict deterministic languages
MA Harrison, IM Havel
SIAM Journal on Computing 1 (4), 333-349, 1972
651972
On equivalence of grammars through transformation trees
MA Harrison, IM Havel, A Yehudai
Theoretical Computer Science 9 (2), 173-205, 1979
601979
The theory of regular events. II
IM Havel
Kybernetika 5 (6), (520)-544, 1969
351969
Přirozené a umělé myšlení jako filozofický problém
IM Havel
Umělá inteligence 3, 17-75, 2001
332001
Artificial thought and emergent mind
IM Havel
IJCAI, 758-766, 1993
331993
A logical theory of robot problem solving
O Štěpánková, IM Havel
Artificial Intelligence 7 (2), 129-161, 1976
241976
Robotika: Úvod do teorie kognitivních robotů
IM Havel
SNTL, 1980
231980
On certain trees in hypercubes
I Havel
Topics in Combinatorics and Graph Theory: Essays in Honour of Gerhard Ringel …, 1990
221990
Finite branching automata
IM Havel
Kybernetika 10 (4), (281)-302, 1974
201974
Normal forms of deterministic grammars
MM Geller, MA Harrison, IM Havel
Discrete Mathematics 16 (4), 313-321, 1976
191976
Living in conceivable worlds
IM Havel
Foundations of Science 3 (2), 375-394, 1998
171998
O zbarvitelnosti rovinnych graf◦ u theremi barvami
I Havel
Math. Geometrie a theorie graf◦ u (Praha, 1970), 89-91, 1970
161970
Causal domains and emergent rationality
IM Havel
SCHRIFTENREIHE-WITTGENSTEIN GESELLSCHAFT 29, 129-151, 2001
152001
Věda o duši
IM HAVEL
Vesmír 79 (7 s 363), 2000
142000
GUHA-metoda systematického vyhledávání hypotéz
P Hájek, I Havel, M Chytil
Kybernetika 2 (1), (31)-47, 1966
141966
Prostor a jeho člověk
M Ajvaz, IM Havel, M Mitášová
Vesmír, 2004
132004
The GUHA method of automated hypotheses generation
M Chytil, P Hajek, I Havel
Computing 1, 293-308, 1966
111966
The system can't perform the operation now. Try again later.
Articles 1–20