Synchronization of Deterministic Visibly Push-Down Automata

Henning Fernau, Petra Wolf 0002. Synchronization of Deterministic Visibly Push-Down Automata. In Nitin Saxena 0001, Sunil Simon, editors, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference). Volume 182 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Authors

Henning Fernau

This author has not been identified. Look up 'Henning Fernau' in Google

Petra Wolf 0002

This author has not been identified. Look up 'Petra Wolf 0002' in Google