Simple termination of rewrite systems

A. Middeldorp, H. Zantema

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelProceedings of the Workshop on Non-standard Logic and Logical Aspects of Computer Science (Kanazawa, Japan, December 5-8, 1994)
    RedacteurenH. Ono
    Pagina's31-36
    StatusGepubliceerd - 1995

    Publicatie series

    NaamBulletin of the Section of Logic, University of Lodz
    Volume24(1)
    ISSN van geprinte versie0138-0680

    Citeer dit