Termination of logic programs via labelled term rewrite systems

T.H.J.J. Arts, H. Zantema

    Research output: Book/Report › Report › Popular

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

    Publication series

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

    Access to Document

    • 419510Final published version, 1.04 MB

      Cite this