Pages that link to "Item:Q5419490"
From MaRDI portal
The following pages link to Partial Order Infinitary Term Rewriting (Q5419490):
Displaying 5 items.
- Infinitary rewriting: meta-theory and convergence (Q884993) (← links)
- Convergence in infinitary term graph rewriting systems is simple (Q4585010) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- (Q5109521) (← links)
- Böhm Reduction in Infinitary Term Graph Rewriting Systems (Q5111303) (← links)