Pages that link to "Item:Q2289070"
From MaRDI portal
The following pages link to Rewriting abstract structures: materialization explained categorically (Q2289070):
Displaying 5 items.
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- (Q5020535) (← links)
- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
