Termination of term rewriting by interpretation

H. Zantema

    Onderzoeksoutput: Boek/rapport › Rapport › Populair

    152 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieUtrecht
    UitgeverijUtrecht University
    Aantal pagina's21
    StatusGepubliceerd - 1992

    Publicatie series

    NaamUniversiteit Utrecht. UU-CS, Department of Computer Science
    Volume9214
    ISSN van geprinte versie0924-3275

    Toegang tot document

    • 382533Definitieve gepubliceerde versie, 817 KB

      Citeer dit