Coinductive foundations of infinitary rewriting and infinitary equational logic
From MaRDI portal
Publication:4600775
Recommendations
Cites work
- scientific article; zbMATH DE number 6678680 (Why is no real title available?)
- scientific article; zbMATH DE number 952103 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- A coinductive confluence proof for infinitary lambda-calculus
- A coinductive framework for infinitary rewriting and equational reasoning
- Abstract models of transfinite reductions
- An introduction to (co)algebra and (co)induction
- Applications of infinitary lambda calculus
- Circular coinduction in Coq using bisimulation-up-to techniques
- Completely iterative algebras and completely iterative monads
- Complexity of Fractran and Productivity
- Confluence of the coinductive \(\lambda\)-calculus
- Highlights in infinitary rewriting and lambda calculus
- Infinitary normalization
- Infinitary rewriting: closure operators, equivalences and models
- Infinitary term graph rewriting is simple, sound and complete
- Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples
- Lazy productivity via termination
- Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus
- Local termination: theory and practice
- Normalization of Infinite Terms
- On confluence and residuals in Cauchy convergent transfinite rewriting
- PROVING PRODUCTIVITY IN INFINITE DATA STRUCTURES
- Partial order infinitary term rewriting and Böhm trees
- Proof Terms for Infinitary Rewriting
- Proving Infinitary Normalization
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
- Term Rewriting and All That
- The minimalist MOVE operation in a deductive perspective
- Transfinite reductions in orthogonal term rewriting systems
Cited in
(8)- Coequational logic for finitary functors
- A coinductive framework for infinitary rewriting and equational reasoning
- scientific article; zbMATH DE number 7199590 (Why is no real title available?)
- scientific article; zbMATH DE number 6979315 (Why is no real title available?)
- scientific article; zbMATH DE number 7168147 (Why is no real title available?)
- Non-well-founded deduction for induction and coinduction
- scientific article; zbMATH DE number 6678680 (Why is no real title available?)
- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points
This page was built for publication: Coinductive foundations of infinitary rewriting and infinitary equational logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4600775)
