Pages that link to "Item:Q1331928"
From MaRDI portal
The following pages link to Term graph rewriting and garbage collection using opfibrations (Q1331928):
Displaying 6 items.
- Locating the contractum in the double pushout approach (Q672236) (← links)
- Relational matching for graphical calculi of relations (Q1961869) (← links)
- Weak fibrations (Q2366051) (← links)
- Modeling Pointer Redirection as Cyclic Term-graph Rewriting (Q2867899) (← links)
- The contractum in algebraic graph rewriting (Q4645265) (← links)
- Formalisation, abstraction and refinement of bond graphs (Q6535511) (← links)
