Q6134251 (Q6134251): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:31, 10 July 2024
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