Reinterpreting compression in infinitary rewriting

DOI10.4230/LIPICS.RTA.2012.209MaRDI QIDQ5111906zbMATHOpenAlexFDO

Authors Jeroen Ketema

Publication date 27 May 2020

Full work available at URL http://eprints.eemcs.utwente.nl/21865/01/17.pdf

zbMATH Keywords

compressionterm rewritinginfinitary rewritingstandardisation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Computing with Infinite Terms and Infinite Reductions
• Compression of rewriting systems for termination analysis
• Infinitary combinatory reduction systems
• Term Rewriting and Applications
• Linear compressed pattern matching for polynomial rewriting (extended abstract)

Cited in

(4)

• Projections for infinitary rewriting (extended version)
• Compression of rewriting systems for termination analysis
• Highlights in infinitary rewriting and lambda calculus
• Projections for infinitary rewriting

This page was built for publication: Reinterpreting compression in infinitary rewriting

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