Graph Transformations
From MaRDI portal
Publication:5292591
DOI10.1007/b100934zbMath1116.68560MaRDI QIDQ5292591
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100934
68R10: Graph theory (including graph drawing) in computer science
68Q42: Grammars and rewriting systems
05C85: Graph algorithms (graph-theoretic aspects)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions, The York Abstract Machine, Modeling Pointer Redirection as Cyclic Term-graph Rewriting, Graph Transformation Units – An Overview
Uses Software