B | |
---|---|
[BKL+20] | Udi Boker, Denis Kuperberg, Karoliina Lehtinen, and Michal Skrzypczak. On succinctness and recognisability of alternating good-for-games automata. In FSTTCS'20, Leibniz International Proceedings in Informatics 182, pages 41:1-41:13. Leibniz-Zentrum für Informatik, December 2020. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1