Termination of constructor systems using semantic unification

T.H.J.J. Arts, H. Zantema

    Onderzoeksoutput: Boek/rapportRapportPopulair

    67 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieUtrecht
    UitgeverijUtrecht University
    Aantal pagina's16
    StatusGepubliceerd - 1995

    Publicatie series

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

    Citeer dit