Graph Transformation in Constant Time

DOI10.1007/11841883_26zbMath1156.68400OpenAlexW2149784823MaRDI QIDQ3541974

Mike Dodds, Detlef Plump

Publication date: 27 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11841883_26

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Related Items (2)

A formal verification technique for behavioural model-to-model transformations ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification

This page was built for publication: Graph Transformation in Constant Time