Rewriting Transfinite Terms

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

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    35 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 Press Inc
    Pages129-144
    Number of pages16
    ISBN (Print)not assigned
    Publication statusPublished - 11 Sept 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