The following pages link to (Q4037323):
Displaying 28 items.
- Locating the contractum in the double pushout approach (Q672236) (← links)
- Relational graph rewritings (Q673789) (← 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)
- Partial pushout semantics of generics in DOL (Q724938) (← 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)
- Relational matching for graphical calculi of relations (Q1961869) (← links)
- Properties of graphs preserved by relational graph rewritings (Q1961871) (← links)
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Partial pullback complement rewriting along admissible matches (Q2055979) (← links)
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Partial pullback complement rewriting (Q2355683) (← links)
- Refined Graph Rewriting in Span-Categories (Q2918976) (← links)
- Polymorphic Sesqui-Pushout Graph Rewriting (Q2947207) (← links)
- Sesqui-Pushout Rewriting with Type Refinements (Q3187801) (← links)
- Grammar Morphisms and Weakly Adhesive Categories (Q3540427) (← links)
- (Q4032925) (← links)
- (Q4431332) (← links)
- (Q5020536) (← links)
- Relational structures and their partial morphisms in view of single pushout rewriting (Q5096284) (← links)
- Single Pushout Rewriting in Comprehensive Systems (Q5100728) (← links)
- Towards Secrecy for Rewriting in Weakly Adhesive Categories (Q5166615) (← links)
- Computational Category-Theoretic Rewriting (Q6487309) (← links)
- Algebraic graph derivations for graphical calculi (Q6550547) (← links)
