research
∙
12/27/2020
Certified Quantum Computation in Isabelle/HOL
In this article we present an ongoing effort to formalise quantum algori...
share
research
∙
11/21/2019
Comment on "Quantum Games and Quantum Strategies"
We point out a flaw in the unfair case of the quantum Prisoner's Dilemma...
research
∙
02/16/2019
