Transforming termination by self-labelling

A. Middeldorp, H. Ohsaki, H. Zantema

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    23 Citaten (Scopus)
    Originele taal-2Engels
    TitelAutomated Deduction (Proceedings CADE-13, New Brunswick NJ, USA, July 30-August 3, 1996)
    RedacteurenM.A. McRobbie, J.K. Slaney
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's373-387
    ISBN van geprinte versie3-540-61511-3
    StatusGepubliceerd - 1996

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume1104
    ISSN van geprinte versie0302-9743

    Citeer dit