Pages that link to "Item:Q3210897"
From MaRDI portal
The following pages link to REDEX CAPTURING IN TERM GRAPH REWRITING (Q3210897):
Displaying 8 items.
- Infinitary combinatory reduction systems (Q550248) (← links)
- Modularity in noncopying term rewriting (Q673186) (← links)
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Transitive term graph rewriting (Q1350096) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- Relating graph and term rewriting via Böhm models (Q1924551) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
