Simple termination of rewrite systems

A. Middeldorp, H. Zantema

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

    Original languageEnglish
    Title of host publicationProceedings of the Workshop on Non-standard Logic and Logical Aspects of Computer Science (Kanazawa, Japan, December 5-8, 1994)
    EditorsH. Ono
    Publication statusPublished - 1995

    Publication series

    NameBulletin of the Section of Logic, University of Lodz
    ISSN (Print)0138-0680

    Cite this