On confluence and residuals in Cauchy convergent transfinite rewriting

DOI10.1016/J.IPL.2004.03.018zbMATH Open1178.68304OpenAlexW2157290676MaRDI QIDQ2390300FDOQ2390300

Authors Jakob Grue Simonsen

Publication date 21 July 2009

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2004.03.018

zbMATH Keywords

programming calculiinfinitary rewritingCauchy convergencetransfinite term rewritingchurch-rosser property

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Transfinite reductions in orthogonal term rewriting systems
• Transfinite reductions in orthogonal term rewriting systems
• Confluence of nearly orthogonal infinitary term rewriting systems
• Weak Convergence and Uniform Normalization in Infinitary Rewriting
• Rewriting Techniques and Applications

Cites work

• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 1332646 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(5)

• Coinductive foundations of infinitary rewriting and infinitary equational logic
• On modularity in infinitary term rewriting
• Highlights in infinitary rewriting and lambda calculus
• scientific article; zbMATH DE number 2043525 (Why is no real title available?)
• The infinitary lambda calculus of the infinite eta Böhm trees

This page was built for publication: On confluence and residuals in Cauchy convergent transfinite rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390300)