Pages that link to "Item:Q5389152"
From MaRDI portal
The following pages link to Weak Convergence and Uniform Normalization in Infinitary Rewriting (Q5389152):
Displaying 9 items.
- A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser (Q1854476) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- Counterexamples in infinitary rewriting with non-fully-extended rules (Q1944100) (← links)
- Non-linear rewrite closure and weak normalization (Q2351264) (← links)
- Infinitary rewriting: closure operators, equivalences and models (Q2376981) (← links)
- On confluence and residuals in Cauchy convergent transfinite rewriting (Q2390300) (← links)
- Vicious circles in orthogonal term rewriting systems (Q2849584) (← links)
- Transfinite reductions in orthogonal term rewriting systems (Q5055744) (← links)
- On confluence for weakly normalizing systems (Q5055761) (← links)