Büchi Good-for-Games Automata Are Efficiently Recognizable (Q5090951)
From MaRDI portal
scientific article; zbMATH DE number 7561321
Language | Label | Description | Also known as |
---|---|---|---|
English | Büchi Good-for-Games Automata Are Efficiently Recognizable |
scientific article; zbMATH DE number 7561321 |
Statements
21 July 2022
0 references
Büchi
0 references
automata
0 references
games
0 references
polynomial time
0 references
nondeterminism
0 references
Büchi Good-for-Games Automata Are Efficiently Recognizable (English)
0 references