Pattern graph rewrite systems
From MaRDI portal
Publication:4994842
zbMath1464.68143arXiv1204.6695MaRDI QIDQ4994842
Alex Merry, Aleks Kissinger, Matvey Soloviev
Publication date: 22 June 2021
Full work available at URL: https://arxiv.org/abs/1204.6695
Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)
Related Items
Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ Unnamed Item ⋮ Equational Reasoning with Context-Free Families of String Diagrams ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item
