No label defined (Q5101349)
From MaRDI portal
scientific article; zbMATH DE number 7577580
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7577580 |
Statements
30 August 2022
0 references
determinisitc automata on infinite words
0 references
good-for-games automata
0 references
co-Büchi acceptance condition
0 references
minimization
0 references
canonization
0 references
