Publication:4222796
From MaRDI portal
zbMath0910.68154MaRDI QIDQ4222796
Publication date: 13 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#heckel
68R10: Graph theory (including graph drawing) in computer science
Related Items
Unnamed Item, Graph Transformations for the Specification of Access Control Policies, Visual Modeling of Distributed Object Systems by Graph Transformation, A Logic of Graph Constraints, Attributed graph transformation with node type inheritance, Reasoning with graph constraints, A navigational logic for reasoning about graph properties, Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality, Specifying graph languages with type graphs, Graph-based specification of access control policies, Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation, On the Specification and Verification of Model Transformations, High-Level Programs and Program Conditions, Attributed Graph Constraints, Resolution-Like Theorem Proving for High-Level Conditions, Pattern-Based Model-to-Model Transformation, Development of Correct Graph Transformation Systems