The following pages link to (Q3837998):
Displayed 13 items.
- Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing (Q553930) (← links)
- Termination Criteria for DPO Transformations with Injective Matches (Q2867892) (← links)
- Term Graphs for Computing Derivatives in Imperative Languages (Q2867901) (← links)
- Undecidable Control Conditions in Graph Transformation Units (Q2873611) (← links)
- Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (Q2947210) (← links)
- Graph Multiset Transformation as a Framework for Massively Parallel Computation (Q3540410) (← links)
- Non-size increasing graph rewriting for natural language processing (Q4585012) (← links)
- GETGRATS (Q4923529) (← links)
- (Q5020535) (← links)
- Confluence up to Garbage (Q5100723) (← links)
- Towards a Systematic Method for Proving Termination of Graph Transformation Systems (Q5403457) (← links)
- A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework (Q6151605) (← links)