Reinterpreting Compression in Infinitary Rewriting

DOI10.4230/LIPICS.RTA.2012.209zbMATH Open1437.68083OpenAlexW2136707587MaRDI QIDQ5111906FDOQ5111906

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)

Cited In (3)

• Projections for infinitary rewriting
• Highlights in infinitary rewriting and lambda calculus
• Projections for infinitary rewriting (extended version)

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)