28 search results - page 3 / 6 » Quantum Arthur-Merlin Games |
STACS
2005
Springer
14 years 25 days ago
2005
Springer
This paper studies quantum refereed games, which are quantum interactive proof systems with two competing provers: one that tries to convince the verifier to accept and the other...
ENTCS
2011
13 years 1 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
ENTCS
2008
13 years 7 months ago
2008
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
FOCS
2010
IEEE
13 years 5 months ago
2010
IEEE
PPL
2010
13 years 5 months ago
2010
Game playing is commonly cited in debates concerning human versus machine intelligence, and Chess is often at the center of such debates. However, the role of Chess in delineating...