Nondeterministic testing of sequential quantum logic propositions on a quantum computer
Matthew Leifer Chapman University
Matthew Leifer Chapman University
Robert Spekkens Perimeter Institute for Theoretical Physics
Samson Abramsky University of Oxford
Alexander Wilce Susquehanna University
Ashoke Sen Harish-Chandra Research Institute
Piljin Yi Korea Institute for Advanced Study
Nathan Seiberg Institute for Advanced Study (IAS)