Pages that link to "Item:Q5055744"
From MaRDI portal
The following pages link to Transfinite reductions in orthogonal term rewriting systems (Q5055744):
Displaying 8 items.
- Infinite normal forms for non-linear term rewriting systems (Q672235) (← links)
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Relating graph and term rewriting via Böhm models (Q5055794) (← links)
- More problems in rewriting (Q5055812) (← links)
- Simple type inference for term graph rewriting systems (Q5881175) (← links)
