Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata (Q2343133)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata |
scientific article |
Statements
Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata (English)
0 references
4 May 2015
0 references
quantum computing
0 references
quantum finite automata
0 references
quantum Arthur-Merlin proof systems
0 references
two-way finite automata with quantum and classical states
0 references
