A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation Systems

DOI10.1007/978-3-642-33654-6_13zbMath1367.68133OpenAlexW1582499094MaRDI QIDQ2918981

Ulrike Golas

Publication date: 2 October 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-33654-6_13

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categories of machines, automata (18B20)

Related Items (2)

Theorem proving graph grammars with attributes and negative application conditions ⋮ The PBPO graph transformation approach

This page was built for publication: A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation Systems