@inproceedings{3e8c08544bd64e7b8bf664d240479cff,
title = "Reinterpreting Compression in Infinitary Rewriting",
abstract = "Departing from a computational interpretation of compression in infinitary rewriting, we view compression as a degenerate case of standardisation. The change in perspective comes about via two observations: (a) no compression property can be recovered for non-left-linear systems and (b) some standardisation procedures, as a {\textquoteleft}side-effect{\textquoteright}, yield compressed reductions.",
keywords = "IR-80543, METIS-287874, Infinitary Rewriting, standardisation, EWI-21865, Term rewriting, CR-F.1.1, CR-F.3.2, CR-F.4.2, compression",
author = "J. Ketema",
note = "10.4230/LIPIcs.RTA.2012.209 ; null ; Conference date: 01-05-2012",
year = "2012",
month = may,
doi = "10.4230/LIPIcs.RTA.2012.209",
language = "Undefined",
isbn = "978-3-939897-38-5",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
publisher = "Dagstuhl",
pages = "209--224",
editor = "Ashish Tiwari",
booktitle = "Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012)",
address = "Germany",
}