Projections for infinitary rewriting

DOI10.1016/j.entcs.2017.04.009zbMath1394.68201arXiv1605.07808OpenAlexW2403682454WikidataQ113317594 ScholiaQ113317594MaRDI QIDQ1744449

Roel de Vrijer, Alejandro Ríos, Carlos Lombardi

Publication date: 23 April 2018

Full work available at URL: https://arxiv.org/abs/1605.07808

zbMATH Keywords

projectionpermutation equivalenceinfinitary term rewritingproof terms

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Projections for infinitary rewriting (extended version) ⋮ Projections for infinitary rewriting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Projections for infinitary rewriting
• Transfinite reductions in orthogonal term rewriting systems
• Reinterpreting Compression in Infinitary Rewriting
• Proof Terms for Infinitary Rewriting
• A nonstandard standardization theorem

This page was built for publication: Projections for infinitary rewriting