523 search results - page 21 / 105 » On the Power of Quantum Proofs |
61
Voted
LICS
1987
IEEE
15 years 5 months ago
1987
IEEE
PROCEDIA
2010
15 years 9 days ago
2010
Modern physical theory and modern computational techniques are used to provide conjecture on how nature computes. I utilize time-domain simulation of physical phenomena and build ...
125
Voted
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
104
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We present a new example of a partial boolean function whose one-way quantum communication complexity is exponentially lower than its one-way classical communication complexity. T...
99
Voted
ENTCS
2007
15 years 1 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...