1 |
Büchi Good-for-Games Automata Are Efficiently Recognizable
|
|
|
|
In: LIPIcs–Leibniz International Proceedings in Informatics ; 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018) ; https://hal.archives-ouvertes.fr/hal-01910632 ; 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), Dec 2018, Ahmedabad, India. pp.16, ⟨10.4230/LIPIcs.FSTTCS.2018.16⟩ ; https://www.fsttcs.org/ (2018)
|
|
BASE
|
|
Show details
|
|
2 |
Büchi Good-for-Games Automata Are Efficiently Recognizable ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|