Termination of term rewriting by semantic labelling

    Research output: Book/ReportReportPopular

    51 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages17
    Publication statusPublished - 1993

    Publication series

    NameUniversiteit Utrecht. UU-CS, Department of Computer Science
    Volume9324
    ISSN (Print)0924-3275

    Bibliographical note

    Uitgebr. en herz. versie van RUU-CS 9238.

    Cite this

    Zantema, H. (1993). Termination of term rewriting by semantic labelling. (Universiteit Utrecht. UU-CS, Department of Computer Science; Vol. 9324). Utrecht University.