Two-Way Parikh Automata with a Visibly Pushdown Stack.

Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot

Browse the full FOSSACS paper archive.