Termination of term rewriting by semantic labelling

    Research output: Book/ReportReportPopular

    63 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages14
    Publication statusPublished - 1992

    Publication series

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

    Bibliographical note

    Herz. versie verschenen onder RUU-CS 9324.

    Cite this