The following pages link to (Q4037314):
Displaying 25 items.
- Locating the contractum in the double pushout approach (Q672236) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← 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)
- Construction and properties of adhesive and weak adhesive high-level replacement categories (Q934669) (← links)
- Characteristics of graph languages generated by edge replacement (Q1098320) (← links)
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Finite limits and anti-unification in substitution categories (Q2185886) (← links)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (Q3540428) (← links)
- The contractum in algebraic graph rewriting (Q4645265) (← links)
- Pragmatic and semantic aspects of a module concept for graph transformation systems (Q4645272) (← links)
- Hierarchically distributed graph transformation (Q4645284) (← links)
- Transformations of graph grammars (Q4645292) (← links)
- Basic Results for Two Types of High-Level Replacement Systems (Q4923535) (← links)
- Designing and Learning Substitutable Plane Graph Grammars (Q4976386) (← links)
- Canonical derivations for high-level replacement systems (Q5096280) (← links)
- Logic based structure rewriting systems (Q5096292) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- On the expressive power of algebraic graph grammars with application conditions (Q5096746) (← links)
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras (Q5283211) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
- Horizontal and vertical structuring techniques for statecharts (Q6044117) (← links)
- Specification of graph translators with triple graph grammars (Q6184366) (← links)
