The following pages link to Pattern graph rewrite systems (Q4994842):
Displaying 13 items.
- Comparison of two graph-rewrite systems (Q1111401) (← links)
- Introducing symmetry to graph rewriting systems with process abstraction (Q2292965) (← links)
- Pattern-Based Graph Abstraction (Q2918973) (← links)
- Equational Reasoning with Context-Free Families of String Diagrams (Q2947216) (← links)
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models (Q2957506) (← links)
- (Q3384933) (← links)
- (Q3385624) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- (Q5015207) (← links)
- (Q5018498) (← links)
- (Q5020627) (← links)
- (Q5232908) (← links)
- Hypergraph simplification: linking the path-sum approach to the ZH-calculus (Q6645583) (← links)