The following pages link to Dennis Nolte (Q1663976):
Displaying 4 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)