No label defined (Q4281565)
From MaRDI portal
scientific article; zbMATH DE number 512868
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 512868 |
Statements
13 November 1994
0 references
Büchi automata
0 references
\(\omega\)-languages
0 references
recursive automata
0 references
arithmetical hierarchy
0 references
verification
0 references
specifications
0 references
