dblp.uni-trier.dewww.uni-trier.de

Ivan M. Havel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*1993
19 Ivan M. Havel: Artificial Thought and Emergent Mind. IJCAI 1993: 758-766
1992
18 Ivan M. Havel, Václav Koubek: Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings Springer 1992
17 Ivan M. Havel: Artificial Intelligence and Connectionism: Some Philosophical Implications. Advanced Topics in Artificial Intelligence 1992: 25-41
1986
16 Ivan M. Havel: Artifical Intelligence: A Lesson in Human Self-Understanding. Impacts of Artificial Intelligence 1986: 89-98
1982
15 Ivan M. Havel: The Truth-Reaction Paradox: A Probe of Artificial Intelligence. ECAI 1982: 147-148
1980
14 Ivan M. Havel: On Branching and Looping, Part I. Theor. Comput. Sci. 10: 187-220 (1980)
13 Ivan M. Havel: On Branching and Looping, Part II. Theor. Comput. Sci. 10: 273-295 (1980)
1979
12EEIvan M. Havel: On Two Types of Loops. MFCS 1979: 89-107
11 Michael A. Harrison, Ivan M. Havel, Amiram Yehudai: On Equivalence of Grammars Through Transformation Trees. Theor. Comput. Sci. 9: 173-205 (1979)
1976
10 Olga Stepánková, Ivan M. Havel: Incidental and State-Dependent Phenomena in Robot Problem Solving. AISB (ECAI) 1976: 266-278
9EEIvan M. Havel: On the Branching Structure of Languages. MFCS 1976: 81-98
8 Olga Stepánková, Ivan M. Havel: A Logical Theory of Robot Problem Solving. Artif. Intell. 7(2): 129-161 (1976)
1975
7EEIvan M. Havel: Nondterministically Recognizable Sets of Languages. MFCS 1975: 252-257
1974
6EEIvan M. Havel: Finite Branching Automata: Automata Theory Motivated by Problem Solving. MFCS 1974: 53-61
5EEMichael A. Harrison, Ivan M. Havel: On the Parsing of Deterministic Languages. J. ACM 21(4): 525-548 (1974)
1973
4 Olga Stepánková, Ivan M. Havel: Some Results Concerning the Situation Calculus. MFCS 1973: 321-326
3 Michael A. Harrison, Ivan M. Havel: Strict Deterministic Grammars. J. Comput. Syst. Sci. 7(3): 237-277 (1973)
1972
2 Michael A. Harrison, Ivan M. Havel: On a Family of Deterministic Grammars (Extended Abstract). ICALP 1972: 413-441
1 Michael A. Harrison, Ivan M. Havel: Real-Time Strict Deterministic Languages. SIAM J. Comput. 1(4): 333-349 (1972)

Coauthor Index

1Michael A. Harrison [1] [2] [3] [5] [11]
2Václav Koubek [18]
3Olga Stepánková [4] [8] [10]
4Amiram Yehudai [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)