Grez

swMATH44275MaRDI QIDQ5973905FDOQ5973905

Author name not available (Why is that?)

Described by source

• Termination Analysis for Graph Transformation Systems

Cited In (5)

• A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
• Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Patch Graph Rewriting

This page was built for software: Grez