Hardness Results for Coverability Problem of Well-Structured Pushdown Systems (Q5739016)

From MaRDI portal
scientific article; zbMATH DE number 6725155
Language Label Description Also known as
English
Hardness Results for Coverability Problem of Well-Structured Pushdown Systems
scientific article; zbMATH DE number 6725155

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references