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

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

zbMATH Keywords

programming calculiinfinitary rewritingCauchy convergencetransfinite term rewritingchurch-rosser property

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Transfinite reductions in orthogonal term rewriting systems
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• The infinitary lambda calculus of the infinite eta Böhm trees
• Coinductive foundations of infinitary rewriting and infinitary equational logic
• On modularity in infinitary term rewriting
• Highlights in infinitary rewriting and lambda calculus

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)