CatLib

MaRDI QIDQ5974581swMATHFDO

Official website http://btn1x4.inf.uni-bayreuth.de/publications/LNCS%205765/Minas_p33-58.pdf

Described by source

• Graph Transformation by Computational Category Theory

Cited in

(16)

• Grez
• Graph transformation benchmarks
• AGG
• DiaGen
• AGREE
• Verigraph
• egg
• DrAGoM
• DPOdactic
• GraJ
• Podmineny
• SiTra
• VxToolbox
• VisiGraphJS
• A flexible and easy-to-use library for the rapid development of graph tools in Java
• ENFORCe

This page was built for software: CatLib