@article{lmcs:5640, title = {Minimization of visibly pushdown automata is NP-complete}, author = {Olivier Gauwin and Anca Muscholl and Michael Raskin}, url = {https://lmcs.episciences.org/5640}, doi = {10.23638/LMCS-16(1:14)2020}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 16, Issue 1}, eid = 14, year = {2020}, month = {Feb}, keywords = {Computer Science - Formal Languages and Automata Theory}, }