B | |
---|---|
[BKL+20] | Udi Boker, Denis Kuperberg, Karoliina Lehtinen et 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, décembre 2020. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1