Synchronization of Deterministic Visibly Push-Down Automata.
FSTTCS. 2020 S. 45:1 - 45:15
Erscheinungsjahr: 2020
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.4230/LIPIcs.FSTTCS.2020.45
Geprüft | Bibliothek |
FSTTCS. 2020 S. 45:1 - 45:15
Erscheinungsjahr: 2020
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.4230/LIPIcs.FSTTCS.2020.45
Geprüft | Bibliothek |