Grez

swMATH44275MaRDI QIDQ5973905FDOQ5973905

Author name not available (Why is that?)

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)

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

This page was built for software: Grez