default search action
16th QPL 2019: Orange, CA, USA
- Bob Coecke, Matthew Leifer:
Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019. EPTCS 318, 2020 - Tejas Bhojraj:
Generating Randomness from a Computable, Non-random Sequence of Qubits. 1-12 - Jean-Simon Pacaud Lemay:
Why FHilb is Not an Interesting (Co)Differential Category. 13-26 - Hector Miller-Bakewell:
Finite Verification of Infinite Families of Diagram Equations. 27-52 - Octavio Zapata:
Effectus of Quantum Probability on Relational Structures. 53-65 - Robert Furber:
Scott Continuity in Generalized Probabilistic Theories. 66-84 - Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix:
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms. 85-105 - Mathias Soeken:
Using ZDDs in the mapping of quantum circuits. 106-118 - Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli:
ROS: Resource-constrained Oracle Synthesis for Quantum Computers. 119-130 - Niel de Beaudrap, Xiaoning Bian, Quanlong Wang:
Techniques to Reduce (π/4)-Parity-Phase Circuits, Motivated by the ZX Calculus. 131-149 - Joseph Collins, Ross Duncan:
Hopf-Frobenius Algebras and a Simpler Drinfeld Double. 150-180 - Sean Tull:
Deriving Dagger Compactness. 181-195 - Alexandru Gheorghiu, Chris Heunen:
Ontological models for quantum theory as functors. 196-212 - Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons, Seyon Sivarajah:
Phase Gadget Synthesis for Shallow Circuits. 213-228 - Aleks Kissinger, John van de Wetering:
PyZX: Large Scale Automated Diagrammatic Reasoning. 229-241 - Sivert Aasnæss:
Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation. 242-253
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.