Pattern Graph Rewrite Systems

  title={Pattern Graph Rewrite Systems},
  author={Aleks Kissinger and Alex Merry and Matvey Soloviev},
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric representations of string diagrams, amenable to automated reasoning about diagrammatic theories via graph rewrite systems. In this extended abstract, we show how the power of such rewrite systems can be greatly extended by introducing pattern graphs, which provide a… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS
16 Citations
21 References
Similar Papers

Similar Papers

Loading similar papers…