Two-Way Visibly Pushdown Automata and Transducers.

Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot

Browse the full LICS paper archive.