Graph Transformation by Computational Category Theory

DOI10.1007/978-3-642-17322-6_3zbMath1309.68111OpenAlexW1596756014MaRDI QIDQ3059706

Mark Minas, H. J. Schneider

Publication date: 26 November 2010

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-17322-6_3

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Graphs, diagram schemes, precategories (18A10)

Related Items

A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java ⋮ Computational category-theoretic rewriting ⋮ CatLib

Uses Software

• PROGRES
• Graph transformation benchmarks
• AGG
• DiaGen

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Concepts and realization of a diagram editor generator based on hypergraph transformation
• A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
• Adaptive Star Grammars
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Formal Methods in Software and Systems Modeling
• Algorithms and Data Structures

This page was built for publication: Graph Transformation by Computational Category Theory