Weak Convergence and Uniform Normalization in Infinitary Rewriting
From MaRDI portal
Recommendations
- Modularity of convergence and strong convergence in infinitary rewriting
- Modularity of Convergence in Infinitary Rewriting
- Unique normal forms in infinitary weakly orthogonal rewriting
- Infinitary rewriting: meta-theory and convergence
- Infinitary rewriting: foundations revisited
- Confluence via strong normalisation in an algebraic -calculus with rewriting
- Formalized proofs of the infinity and normal form predicates in the first-order theory of rewriting
- Non-linear rewrite closure and weak normalization
- On Normalisation of Infinitary Combinatory Reduction Systems
- scientific article; zbMATH DE number 7344705
Cited in
(15)- A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser
- Highlights in infinitary rewriting and lambda calculus
- Counterexamples in infinitary rewriting with non-fully-extended rules
- Non-linear rewrite closure and weak normalization
- Infinitary rewriting: closure operators, equivalences and models
- On confluence and residuals in Cauchy convergent transfinite rewriting
- scientific article; zbMATH DE number 1722703 (Why is no real title available?)
- Vicious circles in orthogonal term rewriting systems
- Infinitary normalization
- Proving Infinitary Normalization
- Transfinite reductions in orthogonal term rewriting systems
- On confluence for weakly normalizing systems
- Confluence of nearly orthogonal infinitary term rewriting systems
- Unique normal forms in infinitary weakly orthogonal rewriting
- Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples
This page was built for publication: Weak Convergence and Uniform Normalization in Infinitary Rewriting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5389152)
