Two-Way Finite State Transducers with Nested Pebbles
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Two-way finite automata with a write-once track
Journal of Automata, Languages and Combinatorics
A note on the space complexity of some decision problems for finite automata
Information Processing Letters
Bounded-variable fragments of hybrid logics
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Hi-index | 0.89 |