Pages that link to "Item:Q5881271"
From MaRDI portal
The following pages link to Infinite terms and infinite rewritings (Q5881271):
Displaying 11 items.
- Infinite normal forms for non-linear term rewriting systems (Q672235) (← links)
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
- Finite notations for infinite terms (Q1295405) (← links)
- Quantifier elimination for infinite terms (Q1812980) (← links)
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points (Q2669251) (← links)
- Lifting infinite normal form definitions from term rewriting to term graph rewriting (Q2843930) (← links)
- (Q3970985) (← links)
- Term rewriting in CTΣ (Q5044755) (← links)
- Proof Terms for Infinitary Rewriting (Q5170824) (← links)
- Computing with Infinite Terms and Infinite Reductions (Q5208870) (← links)
- On finite representations of infinite sequences of terms (Q5881270) (← links)