Grez

MaRDI QIDQ5973905swMATHFDO

Official website https://link.springer.com/content/pdf/10.1007/978-3-662-44602-7_15.pdf

Described by source

• Termination analysis for graph transformation systems

Cited in

(15)

• Proving termination of graph transformation systems using weighted type graphs over semirings
• Patch graph rewriting
• TcT
• DrAGoM
• CatLib
• DPOdactic
• GraJ
• Podmineny
• SiTra
• VxToolbox
• VisiGraphJS
• scientific article; zbMATH DE number 7456054 (Why is no real title available?)
• A flexible and easy-to-use library for the rapid development of graph tools in Java
• ENFORCe
• Kruskal's tree theorem for acyclic term graphs

This page was built for software: Grez