Reinterpreting Compression in Infinitary Rewriting

J. Ketema

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
    24 Downloads (Pure)


    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 ‘side-effect’, yield compressed reductions.
    Original languageUndefined
    Title of host publicationProceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012)
    EditorsAshish Tiwari
    Place of PublicationDagstuhl, Germany
    Number of pages16
    ISBN (Print)978-3-939897-38-5
    Publication statusPublished - May 2012

    Publication series

    NameLeibniz International Proceedings in Informatics (LIPIcs)
    PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    ISSN (Print)1868-8969


    • IR-80543
    • METIS-287874
    • Infinitary Rewriting
    • standardisation
    • EWI-21865
    • Term rewriting
    • CR-F.1.1
    • CR-F.3.2
    • CR-F.4.2
    • compression

    Cite this