scientific article; zbMATH DE number 7561699
From MaRDI portal
Publication:5092417
DOI10.4230/LIPIcs.MFCS.2019.55MaRDI QIDQ5092417
Simon Perdrix, Titouan Carette, Dominic Horsman
Publication date: 21 July 2022
Full work available at URL: https://arxiv.org/abs/1905.00041
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Concurrent Process Histories and Resource Transducers ⋮ Graphical CSS Code Transformation Using ZX Calculus ⋮ Light-Matter Interaction in the ZXW Calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interacting Hopf algebras
- Monoidal multiplexing
- The ZX-calculus is complete for stabilizer quantum mechanics
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning
- New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States
- Graph States and the Necessity of Euler Decomposition
- Rewriting Measurement-Based Quantum Computations with Generalised Flow
- Props in Network Theory
- A Diagrammatic Axiomatisation for Qubit Entanglement
- Graph states for quantum secret sharing
- Interacting quantum observables: categorical algebra and diagrammatics
- Two complete axiomatisations of pure-state qubit quantum computing
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
- On the Minimum Degree Up to Local Complementation: Bounds and Complexity
- A first-order logic for string diagrams
- A graphical approach to measurement-based quantum computing
