Synchronizing Deterministic Push-Down Automata Can Be Really Hard
- Publication date
- 1 January 2020
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)