The following pages link to On graph rewritings (Q800736):
Displayed 21 items.
- Confluence for graph transformations (Q672753) (← links)
- Relational graph rewritings (Q673789) (← links)
- On categorical graph grammars integrating structural transformations and operations on labels (Q685458) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- On ``On graph rewritings'' (Q1098284) (← links)
- Comparison of two graph-rewrite systems (Q1111401) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Algebraic transformation of unary partial algebras II: Single-pushout approach (Q1285664) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- Generating irregular partitionable data structures (Q1575237) (← links)
- A small final coalgebra theorem (Q1575951) (← links)
- Relating graph and term rewriting via Böhm models (Q1924551) (← links)
- Properties of graphs preserved by relational graph rewritings (Q1961871) (← links)
- Implementing term rewriting by jungle evaluation (Q3486867) (← links)
- Graph expressions and graph rewritings (Q3782818) (← links)
- (Q4032925) (← links)
- A categorical manifesto (Q4713397) (← links)