No. Title Author Year
1 Circuit Extraction for ZX-Diagrams Can Be #P-Hard de Beaudrap, Niel et al. 2022
2 Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions Kissinger, Aleks et al. 2022
3 Higher-Order Causal Theories Are Models of BV-Logic Simmons, Will et al. 2022
4 Globular: An Online Proof Assistant for Higher-Dimensional Rewriting Bar, Krzysztof et al. 2016
5 A First-order Logic for String Diagrams Kissinger, Aleks et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 5

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI