MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Two-way Multihead Automata." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Workshop on Automata and Finite Model Theory
by Helsinki Under Auspices, Organizers Lauri Hella, Juhani Karhumki, Kerkko Luosto, Dietmar Berwanger, Erich Gritdel, Mathematische Grundlagen Der Informatik, Rwth Aachen
… automata and transitive closure logic can be generalized to the case of two-way multihead automata. More…
Add To MetaCart

Logic and the Challenge of Computer Science
by Yuri Gurevich — 1988
…-order logic with transitive closure logics because of their relative simplicity. The use of two-way multihead…
Cited by 142 (14 self) – Add To MetaCart

Power of Cooperation and Multihead Finite Systems ⋆
by Tomasz Jurdziński, Mirosław Kutyłowski
… call them two-way automata. We use notation s-xy(k) to denote types of automata: s=1 (s=2) stands…
Add To MetaCart

On the power of tree-walking automata
by Frank Neven, Limburgs Universitair Centrum, Thomas Schwentick, Johannes Gutenberg-universitat Mainz — 2000 — Information and Computation
… transitive closure logic and two-way multihead automata operating on grids. Their simulation of automata…
Cited by 26 (3 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB