Rewriting Transfinite Terms

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

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    18 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