(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
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