scientific article; zbMATH DE number 1953883

MaRDI QIDQ4415067zbMATH OpenFDO

Authors Wolfram Kahl

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2561/25610001.htm

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 177437
• Relational graph rewritings
• scientific article; zbMATH DE number 3854447
• scientific article; zbMATH DE number 7456050
• The pullback-pushout approach to algebraic graph transformation
• Algebraic hierarchical graph transformation
• scientific article; zbMATH DE number 1189283
• scientific article; zbMATH DE number 139800
• A general framework for well-structured graph transformation systems
• The structure of transform graphs

Cited in

(29)

• A tutorial on graph transformation
• Finding models through graph saturation
• Graph transformation for specification and programming
• Graph traversal and graph transformation
• Algebraic graph rewriting with controlled embedding
• A structural approach to graph transformation based on symmetric Petri nets
• Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
• Fundamentals of algebraic graph transformation
• An institution for graph transformation
• scientific article; zbMATH DE number 5606347 (Why is no real title available?)
• Ugo Montanari and Graph Transformation
• Graph Transformation for Topology Modelling
• scientific article; zbMATH DE number 3926221 (Why is no real title available?)
• scientific article; zbMATH DE number 4008180 (Why is no real title available?)
• scientific article; zbMATH DE number 139800 (Why is no real title available?)
• Towards ``mouldable code via nested code graph transformation
• scientific article; zbMATH DE number 1136656 (Why is no real title available?)
• scientific article; zbMATH DE number 1504839 (Why is no real title available?)
• Interactive and automated proofs for graph transformations
• Marker-directed optimization of UnCAL graph transformations
• GMTE: a tool for graph transformation and exact/inexact graph matching
• Algebraic Graph Transformations with Inheritance
• Formal Methods in Software and Systems Modeling
• Formal Methods in Software and Systems Modeling
• A foundation for functional graph programs: the \textit{graph transformation control algebra} (GTA)
• Finding the right way to Rome: effect-oriented graph transformation
• A living monograph for graph transformation
• Relational graph rewritings
• Algebraic approach to single-pushout graph transformation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415067)