Pages that link to "Item:Q1812540"
From MaRDI portal
The following pages link to The power of two-way deterministic checking stack automata (Q1812540):
Displaying 11 items.
- The design of checkable automata. II (Q799377) (← links)
- Variations on the technique of Ďuriš and Galil (Q1064791) (← links)
- Two-way automata with more than one storage medium (Q1083206) (← links)
- Nondeterministic stack register machines (Q1391527) (← links)
- Generalizations of checking stack automata: characterizations and hierarchies (Q1622991) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)
- On the Expressive Power of 2-Stack Visibly Pushdown Automata (Q3623011) (← links)
- Space Complexity of Stack Automata Models (Q5041255) (← links)
- Variations of checking stack automata: obtaining unexpected decidability properties (Q5915651) (← links)
- Generalizations of Checking Stack Automata: Characterizations and Hierarchies (Q6114832) (← links)
- Space Complexity of Stack Automata Models (Q6169902) (← links)