Synchronizing Deterministic Push-Down Automata Can Be Really Hard.
MFCS. 2020 S. 33:1 - 33:15
Erscheinungsjahr: 2020
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.4230/LIPIcs.MFCS.2020.33
Geprüft | Bibliothek |
MFCS. 2020 S. 33:1 - 33:15
Erscheinungsjahr: 2020
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.4230/LIPIcs.MFCS.2020.33
Geprüft | Bibliothek |