Determinism vs. Nondeterminism for Two-Way Automata - Representing the Meaning of States by Logical Formul.

Juraj Hromkovic, Rastislav Krlovic, Richard Krlovic, Richard Stefanec

Browse the full DLT paper archive.