Grez
From MaRDI portal
Software:5973905
No author found.
Related Items (5)
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings ⋮ Patch Graph Rewriting ⋮ A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for software: Grez
