The following pages link to (Q3785984):
Displayed 13 items.
- Locating the contractum in the double pushout approach (Q672236) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Equivalence of computations in actor grammars (Q685461) (← links)
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- Hypermap rewriting: A combinatorial approach (Q1178702) (← links)
- Computation graphs for actor grammars (Q1208925) (← links)
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Generating irregular partitionable data structures (Q1575237) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Contextual nets (Q1902298) (← links)
- Confluence theory for graphs (Q2464760) (← links)
- (Q4222788) (← links)