Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness.

Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot

Browse the full DLT paper archive.