On the reachability problem for 5-dimensional vector addition systems (Q1155361)

From MaRDI portal





scientific article; zbMATH DE number 3731349
Language Label Description Also known as
English
On the reachability problem for 5-dimensional vector addition systems
scientific article; zbMATH DE number 3731349

    Statements

    On the reachability problem for 5-dimensional vector addition systems (English)
    0 references
    1979
    0 references
    constructible semilinear sets
    0 references
    n-dimensional vector addition system with finite state control
    0 references
    0 references
    0 references

    Identifiers