No label defined (Q6134251)
From MaRDI portal
scientific article; zbMATH DE number 7730605
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7730605 |
Statements
21 August 2023
0 references
Büchi (pushdown) automata
0 references
\(\omega\)-language inclusion
0 references
well-quasiorders
0 references