Partially-Ordered Two-Way Automata: A New Characterization of DA
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Deterministic moles cannot solve liveness
Journal of Automata, Languages and Combinatorics
Hi-index | 0.00 |