(Un)decidable Problems about Reachability of Quantum Systems (Q3190137)

From MaRDI portal
scientific article
Language Label Description Also known as
English
(Un)decidable Problems about Reachability of Quantum Systems
scientific article

    Statements

    (Un)decidable Problems about Reachability of Quantum Systems (English)
    0 references
    0 references
    0 references
    15 September 2014
    0 references
    quantum reachability
    0 references
    verification
    0 references
    Skolem's problem
    0 references
    2-counter Minsky machine
    0 references
    undecidability
    0 references

    Identifiers

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