Trimming visibly pushdown automata
Caralp, Mathieu, Reynier, Pierre-Alain, Talbot, Jean-MarcVolume:
578
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2015.01.018
Date:
May, 2015
File:
PDF, 579 KB
english, 2015