Reinterpreting Compression in Infinitary Rewriting

J. Ketema

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

    7 Citations (Scopus)
    24 Downloads (Pure)

    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 ‘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
    PublisherDagstuhl
    Pages209-224
    Number of pages16
    ISBN (Print)978-3-939897-38-5
    DOIs
    Publication statusPublished - May 2012

    Publication series

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

    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

    Cite this