The following pages link to Dennis Nolte (Q1663976):
Displaying 7 items.
- A tutorial on graph transformation (Q1708180) (← links)
- Rewriting abstract structures: materialization explained categorically (Q2289070) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (Q2947210) (← links)
- A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java (Q5100741) (← links)
- CoReS: a tool for computing core graphs via SAT/SMT solvers (Q5915710) (← links)
- CoReS: a tool for computing core graphs via SAT/SMT solvers (Q5918209) (← links)
