Open graphs and computational reasoning

MaRDI QIDQ5151029zbMATH OpenFDO

Authors Lucas Dixon, Ross Duncan, Aleks Kissinger

Publication date 16 February 2021

Full work available at URL https://arxiv.org/abs/1007.3794, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2010.16

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Open-graphs and monoidal theories
• Reaction graph
• An algebraic foundation for graph-based diagrams in computing
• Graphical reasoning in compact closed categories for quantum computation
• scientific article; zbMATH DE number 3978423

Cited in

(13)

• Graphical reasoning in compact closed categories for quantum computation
• Reaction graph
• scientific article; zbMATH DE number 5734944 (Why is no real title available?)
• Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
• scientific article; zbMATH DE number 1161350 (Why is no real title available?)
• An algebraic foundation for graph-based diagrams in computing
• Open-graphs and monoidal theories
• scientific article; zbMATH DE number 1452990 (Why is no real title available?)
• Open diagrams via coend calculus
• scientific article; zbMATH DE number 7471699 (Why is no real title available?)
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• A Category of Surface-Embedded Graphs
• On graph reasoning

This page was built for publication: Open graphs and computational reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5151029)