


Остановите войну!
for scientists:


default search action
14th QPL 2017: Nijmegen, The Netherlands
- Bob Coecke, Aleks Kissinger:
Proceedings 14th International Conference on Quantum Physics and Logic, QPL 2017, Nijmegen, The Netherlands, 3-7 July 2017. EPTCS 266, 2018 - Linde Wester:
Almost Equivalent Paradigms of Contextuality. 1-22 - Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart:
Y-Calculus: A language for real Matrices derived from the ZX-Calculus. 23-57 - ….
- Dan R. Ghica, Aliaume Lopez
:
A structural and nominal syntax for diagrams. 71-83 - Matthew Amy, Jianxin Chen
, Neil J. Ross
:
A finite presentation of CNOT-dihedral operators. 84-97 - Andreas Blass, Yuri Gurevich:
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract. 98-103 - ….
- Robert Rand
, Jennifer Paykin, Steve Zdancewic:
QWIRE Practice: Formal Verification of Quantum Circuits in Coq. 119-132 - ….
- Liam Garvie, Ross Duncan
:
Verifying the Smallest Interesting Colour Code with Quantomatic. 147-163 - Francisco Rios, Peter Selinger
:
A categorical model for a quantum circuit description language. 164-178 - ….
- Kevin Dunne:
On the Structure of Abstract H*-Algebras. 197-208 - ….
- Paul Dorbec, Mehdi Mhalla:
Quantum Combinatorial Games. 237-248 - ….
- J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan:
The Category CNOT. 258-293 - Daniel Cicala:
Categorifying the zx-calculus. 294-314 - Oscar Cunningham, Chris Heunen:
Purity through Factorisation. 315-328 - ….
- Kevin Dunne:
Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations. 386-398 - Pau Enrique Moliner, Chris Heunen, Sean Tull:
Space in Monoidal Categories. 399-410

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.