Výsledky vyhledávání - "2012 ACM Subject Classification Theory of computation → Quantum computation theory"

A recipe for quantum graphical languages

Autoři: Carette, Titouan Jeandel, Emmanuel Designing the Future of Computational Models (MOCQUA) a další

Přispěvatelé: Carette, Titouan Jeandel, Emmanuel Designing the Future of Computational Models (MOCQUA) a další

Zdroj: ICALP 2020 ; https://hal.science/hal-02914177 ; ICALP 2020, 2020, Saarbrücken, Germany

Témata: 2012 ACM Subject Classification Theory of computation → Quantum computation theory, Theory of computation → Semantics and reasoning, Mathematics of computing, Theory of computation → Equational logic and rewriting Keywords and phrases Categorical Quantum Mechanics, Quantum Computing, Category Theory Funding ANR-17-CE25-0009, PIA-GDN/Quantex, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]

Geografické téma: Saarbrücken, Germany

Relation: https://doi.org/10.4230/LIPIcs.ICALP.2020.118; info:eu-repo/semantics/altIdentifier/arxiv/2008.04193; ARXIV: 2008.04193

Dostupnost: https://hal.science/hal-02914177
https://hal.science/hal-02914177v1/document
https://hal.science/hal-02914177v1/file/supparxiv.pdf

On a recipe for quantum graphical languages

Autoři: Carette, Titouan Jeandel, Emmanuel Titouan Carette and Emmanuel Jeandel

Přispěvatelé: Carette, Titouan Jeandel, Emmanuel Titouan Carette and Emmanuel Jeandel

Zdroj: arXiv: Logic in Computer Science.

Témata: Category Theory Funding ANR-17-CE25-0009, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Quantum Physics, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], PIA-GDN/Quantex, FOS: Physical sciences, Categorical Quantum Mechanics, 16. Peace & justice, Mathematics of computing, 01 natural sciences, 2012 ACM Subject Classification Theory of computation → Quantum computation theory, Logic in Computer Science (cs.LO), Theory of computation → Equational logic and rewriting Keywords and phrases Categorical Quantum Mechanics, Category Theory, Quantum Computing, Theory of computation → Semantics and reasoning, ddc:004, 0101 mathematics, Quantum Physics (quant-ph), [PHYS.QPHY] Physics [physics]/Quantum Physics [quant-ph]

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2008.04193
https://hal.science/hal-02914177v1/document
https://hal.science/hal-02914177v1
https://arxiv.org/abs/2008.04193
https://ui.adsabs.harvard.edu/abs/2020arXiv200804193C/abstract
https://arxiv.org/pdf/2008.04193.pdf
http://export.arxiv.org/pdf/2008.04193
https://drops.dagstuhl.de/opus/volltexte/2020/12525/pdf/LIPIcs-ICALP-2020-118.pdf/
https://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-04193
https://hal.archives-ouvertes.fr/hal-02914177
https://cel.archives-ouvertes.fr/INRIA/hal-02914177v1
https://drops.dagstuhl.de/opus/volltexte/2020/12525/
https://hal.archives-ouvertes.fr/hal-02914177/document
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.118