Relative undecidability in term rewriting

A. Geser, A. Middeldorp, E. Ohlebusch, H. Zantema

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)
    Originele taal-2Engels
    TitelComputer Science Logic (Selected Papers, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996)
    RedacteurenD. Dalen, van, M. Bezem
    UitgeverijSpringer
    Pagina's150-166
    ISBN van geprinte versie3-540-63172-0
    StatusGepubliceerd - 1997

    Publicatie series

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

    Citeer dit