\(\omega\)-computations on deterministic pushdown machines (Q1247962)

From MaRDI portal





scientific article; zbMATH DE number 3593539
Language Label Description Also known as
English
\(\omega\)-computations on deterministic pushdown machines
scientific article; zbMATH DE number 3593539

    Statements

    Identifiers