Termination of logic programs via labelled term rewrite systems

M.G.J. Arts, H. Zantema

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationComputing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995)
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    ISBN (Print)90-6196-460-1
    Publication statusPublished - 1995

    Cite this