scientific article
From MaRDI portal
Publication:3837998
zbMath0903.68108MaRDI QIDQ3837998
Publication date: 14 December 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Combining Graph Transformation and Algebraic Specification into Model Transformation ⋮ Non-size increasing graph rewriting for natural language processing ⋮ Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings ⋮ Confluence up to Garbage ⋮ A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework ⋮ Unnamed Item ⋮ Graph Multiset Transformation as a Framework for Massively Parallel Computation ⋮ Towards a Systematic Method for Proving Termination of Graph Transformation Systems ⋮ GETGRATS ⋮ Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing ⋮ Termination Criteria for DPO Transformations with Injective Matches ⋮ Term Graphs for Computing Derivatives in Imperative Languages ⋮ Undecidable Control Conditions in Graph Transformation Units
