Reinterpreting Compression in Infinitary Rewriting

J. Ketema

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

    7 Citations (Scopus)
    29 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
    Event23rd International Conference on Rewriting Techniques and Applications (RTA 2012), Nagoya, Japan: Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) - Dagstuhl, Germany
    Duration: 1 May 2012 → …

    Publication series

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

    Conference

    Conference23rd International Conference on Rewriting Techniques and Applications (RTA 2012), Nagoya, Japan
    CityDagstuhl, Germany
    Period1/05/12 → …

    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