Decidability results on plane automata searching mazes
By: Marek Karpiński, Ryszard Danecki ; [Instytut Podstaw Informatyki Polskiej Akademii Nauk].
Contributors: Danecki, Ryszard, joint author.
Series: Prace IPI PAN ;; 384; Prace IPI PAN ;; 384.
Publisher: IPI PAN
Published: 1980
Place of publication: Warszawa
Language: eng
Number of pages: 13
Subjects: Machine theory.; Gödel's theorem.; Search theory.
Notes: Bibliography: p. 13.
Summary in Polish and Russian.