Rewriting Transfinite Terms

J. Ketema, Stefan Blom, Takahito Aoto, Jakob Grue Simonsen

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    8 Downloads (Pure)

    Abstract

    We define rewriting over terms with positions of transfinite length.
    Original languageUndefined
    Title of host publicationLiber Amicorum for Roel de Vrijer
    Place of PublicationRaleigh, NC
    PublisherLulu
    Pages129-144
    Number of pages16
    ISBN (Print)not assigned
    Publication statusPublished - 11 Sep 2009

    Publication series

    Name
    PublisherLulu

    Keywords

    • IR-68362
    • METIS-264085
    • Transfinite terms
    • CR-F.4.2
    • Term rewriting
    • CR-F.3.2
    • CR-F.4.1
    • EWI-16203

    Cite this