The following pages link to On graph rewritings (Q800736):
Displaying 36 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)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Unification of drags and confluence of drag rewriting (Q2683036) (← links)
- Incremental Update for Graph Rewriting (Q2988640) (← links)
- Implementing term rewriting by jungle evaluation (Q3486867) (← links)
- A Heterogeneous Pushout Approach to Term-Graph Transformation (Q3636827) (← links)
- Graph expressions and graph rewritings (Q3782818) (← links)
- (Q4032925) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- A categorical manifesto (Q4713397) (← links)
- Term rewriting in CTΣ (Q5044755) (← links)
- Redex capturing in term graph rewriting (concise version) (Q5055745) (← links)
- Relational structures and their partial morphisms in view of single pushout rewriting (Q5096284) (← links)
- Parallelism in single-pushout graph rewriting (Q5096286) (← links)
- Set-theoretic graph rewriting (Q5096290) (← links)
- On relating rewriting systems and graph grammars to event structures (Q5096291) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- Single Pushout Rewriting in Comprehensive Systems (Q5100728) (← links)
