Projections of vector addition system reachability sets are semilinear (Q1823697)

From MaRDI portal
Revision as of 09:45, 20 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Projections of vector addition system reachability sets are semilinear
scientific article

    Statements

    Projections of vector addition system reachability sets are semilinear (English)
    0 references
    0 references
    0 references
    0 references
    1989
    0 references
    Vector Addition Systems
    0 references
    reachability problem
    0 references

    Identifiers