المؤلفون: Niel de Beaudrap, Dominic Horsman, Ross Duncan, Simon Perdrix

المساهمون: Computing Science Laboratory - Oxford University, University of Oxford [Oxford], Department of Computer and Information Sciences [Univ Strathclyde], University of Strathclyde [Glasgow], Calculs algorithmes programmes et preuves (CAPP ), Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Designing the Future of Computational Models (MOCQUA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), University of Oxford

المصدر: QPL'19 : International Conference on Quantum Physics and Logic
QPL'19 : International Conference on Quantum Physics and Logic, Jun 2019, Los Angeles, United States

مصطلحات موضوعية: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], QA75, Computer science, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], FOS: Physical sciences, 0102 computer and information sciences, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], 01 natural sciences, quantum computing, symbols.namesake, Pauli exclusion principle, [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph], 0103 physical sciences, 010306 general physics, Quantum, Graphical language, Quantum computer, Fusion, Quantum Physics, 16. Peace & justice, Algebra, Quantum technology, Transformation (function), 010201 computation theory & mathematics, Lattice Surgery, symbols, ZX-calculus, Quantum Physics (quant-ph)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6211f3c32fb37b261ff15744bfc475a5

المؤلفون: Ross Duncan, Kevin Dunne

المصدر: LICS

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Physical sciences, Representation theory of Hopf algebras, 0102 computer and information sciences, Quasitriangular Hopf algebra, 01 natural sciences, symbols.namesake, Frobenius algebra, FOS: Mathematics, Category Theory (math.CT), 0101 mathematics, QA, Frobenius group, Frobenius theorem (real division algebras), Mathematics, Quantum Physics, Quantum group, 010102 general mathematics, Mathematics - Category Theory, Hopf algebra, Logic in Computer Science (cs.LO), Algebra, 010201 computation theory & mathematics, symbols, Division algebra, Quantum Physics (quant-ph)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8c63857772523b97e359d7c230f893f
https://doi.org/10.1145/2933575.2934550

المؤلفون: Ross Duncan, Quanlong Wang, Aleks Kissinger, Bob Coecke

المصدر: LICS.

مصطلحات موضوعية: FOS: Computer and information sciences, Quantum Physics, Computer Science - Logic in Computer Science, Categorical quantum mechanics, Computation, FOS: Physical sciences, Observable, Mathematics - Category Theory, Complementarity (physics), Logic in Computer Science (cs.LO), Algebra, Quantum nonlocality, Diagrammatic reasoning, FOS: Mathematics, Category Theory (math.CT), Algebraic number, Quantum Physics (quant-ph), Quantum, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8009b46b2be77f814c1862bd4bb8f25d
http://ora.ox.ac.uk/objects/uuid:80ff3590-89c2-4091-871b-d3e30fbb170d

المؤلفون: Samson Abramsky, Ross Duncan

مصطلحات موضوعية: FOS: Computer and information sciences, Quantum Physics, Computer Science - Logic in Computer Science, Compact closed category, FOS: Physical sciences, Quantum logic, Logic in Computer Science (cs.LO), Computer Science Applications, Algebra, Faithful representation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Mathematics (miscellaneous), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Mathematics::Category Theory, Computer Science::Programming Languages, Quantum Physics (quant-ph), Categorical variable, Quantum, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d72510b0fd69da2aaa7753e2b449ba3d
http://arxiv.org/abs/quant-ph/0512114