scientific article; zbMATH DE number 7439424

zbMath1477.18039arXiv1511.01573MaRDI QIDQ5015207

David Quick

Publication date: 6 December 2021

Full work available at URL: https://arxiv.org/abs/1511.01573

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of graph theory (05C90) Categorical logic, topoi (03G30) Structural characterization of families of graphs (05C75) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Monoidal categories, symmetric monoidal categories (18M05)

Uses Software

• Quantomatic

Cites Work

• Unnamed Item
• Graphical reasoning in compact closed categories for quantum computation
• The geometry of tensor calculus. I
• Tensors, !-graphs, and non-commutative quantum structures
• Equational Reasoning with Context-Free Families of String Diagrams
• Strong Complementarity and Non-locality in Categorical Quantum Mechanics
• A Categorical Semantics of Signal Flow Graphs
• Interacting Quantum Observables
• Pattern graph rewrite systems
• Categories in Control
• A first-order logic for string diagrams
• Abstract Tensor Systems as Monoidal Categories

This page was built for publication: