Trimming visibly pushdown automata

Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot. Trimming visibly pushdown automata. Theoretical Computer Science, 578:13-29, 2015. [doi]

Abstract

Abstract is missing.