Search the dblp DataBase
Ivan M. Havel :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ivan M. Havel Artificial Intelligence and Connectionism: Some Philosophical Implications. [Citation Graph (0, 0)][DBLP ] Advanced Topics in Artificial Intelligence, 1992, pp:25-41 [Conf ] Ivan M. Havel The Truth-Reaction Paradox: A Probe of Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] ECAI, 1982, pp:147-148 [Conf ] Olga Stepánková , Ivan M. Havel Incidental and State-Dependent Phenomena in Robot Problem Solving. [Citation Graph (0, 0)][DBLP ] AISB (ECAI), 1976, pp:266-278 [Conf ] Michael A. Harrison , Ivan M. Havel On a Family of Deterministic Grammars (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1972, pp:413-441 [Conf ] Ivan M. Havel Artifical Intelligence: A Lesson in Human Self-Understanding. [Citation Graph (0, 0)][DBLP ] Impacts of Artificial Intelligence, 1986, pp:89-98 [Conf ] Ivan M. Havel Artificial Thought and Emergent Mind. [Citation Graph (0, 0)][DBLP ] IJCAI, 1993, pp:758-766 [Conf ] Ivan M. Havel Finite Branching Automata: Automata Theory Motivated by Problem Solving. [Citation Graph (0, 0)][DBLP ] MFCS, 1974, pp:53-61 [Conf ] Ivan M. Havel Nondterministically Recognizable Sets of Languages. [Citation Graph (0, 0)][DBLP ] MFCS, 1975, pp:252-257 [Conf ] Ivan M. Havel On the Branching Structure of Languages. [Citation Graph (0, 0)][DBLP ] MFCS, 1976, pp:81-98 [Conf ] Ivan M. Havel On Two Types of Loops. [Citation Graph (0, 0)][DBLP ] MFCS, 1979, pp:89-107 [Conf ] Olga Stepánková , Ivan M. Havel Some Results Concerning the Situation Calculus. [Citation Graph (0, 0)][DBLP ] MFCS, 1973, pp:321-326 [Conf ] Olga Stepánková , Ivan M. Havel A Logical Theory of Robot Problem Solving. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1976, v:7, n:2, pp:129-161 [Journal ] Michael A. Harrison , Ivan M. Havel On the Parsing of Deterministic Languages. [Citation Graph (0, 0)][DBLP ] J. ACM, 1974, v:21, n:4, pp:525-548 [Journal ] Michael A. Harrison , Ivan M. Havel Strict Deterministic Grammars. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1973, v:7, n:3, pp:237-277 [Journal ] Michael A. Harrison , Ivan M. Havel Real-Time Strict Deterministic Languages. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1972, v:1, n:4, pp:333-349 [Journal ] Ivan M. Havel On Branching and Looping, Part I. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1980, v:10, n:, pp:187-220 [Journal ] Ivan M. Havel On Branching and Looping, Part II. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1980, v:10, n:, pp:273-295 [Journal ] Michael A. Harrison , Ivan M. Havel , Amiram Yehudai On Equivalence of Grammars Through Transformation Trees. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1979, v:9, n:, pp:173-205 [Journal ] Search in 0.002secs, Finished in 0.002secs