Previous |  Up |  Next


Title: Finite branching automata (English)
Author: Havel, Ivan M.
Language: English
Journal: Kybernetika
ISSN: 0023-5954
Volume: 10
Issue: 4
Year: 1974
Pages: (281)-302
Category: math
MSC: 68A25
MSC: 68Q45
MSC: 68T10
MSC: 68T15
idZBL: Zbl 0287.94050
idMR: MR0381383
Date available: 2009-09-24T16:40:14Z
Last updated: 2012-06-05
Stable URL:
Reference: [1] R. E. Fikes P. E. Hart N. J. Nilsson: Some new directions in robot problem solving.In: Machine Intelligence 7 (B. Meltzer, D. Michie, eds.). University Press, Edinburgh 1972.
Reference: [2] R. E. Fikes N. J. Nilsson: STRIPS: A new approach to the application of theorem proving to problem solving.Artificial Intelligence 2 (1971), 189-208.
Reference: [3] I. M. Havel: The theory of regular events I, II.Kybernetika 5 (1969), 400-419; 520-544. MR 0256787
Reference: [4] N. J. Nilsson: Problem-solving methods in artificial intelligence.McGraw-Hill, New York 1971.
Reference: [5] A. Salomaa: Theory of automata.Pergamon Press, Oxford 1969. Zbl 0193.32901, MR 0262021
Reference: [6] O. Štěpánková I. M. Havel: Image space and its relationship to situation calculus.Tech. Rpt. No 9/1973, Institute of Computation Technique, Prague. (Cf. also Proc. Symp. MFCS, High Tatras 1973.) MR 0451928


Files Size Format View
Kybernetika_10-1974-4_1.pdf 887.5Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo