Diagrammatic Representation and Inference
From MaRDI portal
Publication:5714035
DOI10.1007/b95854zbMath1091.68667OpenAlexW4249053557MaRDI QIDQ5714035
Juan de Lara, Gabriele Taentzer
Publication date: 27 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95854
Related Items (4)
Combining Graph Transformation and Algebraic Specification into Model Transformation ⋮ Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs ⋮ Graph Transformation Semantics for a QVT Language ⋮ Termination Criteria for DPO Transformations with Injective Matches
Uses Software
This page was built for publication: Diagrammatic Representation and Inference
