Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Derivation lengths in term rewriting from interpretations in the naturals

  • V.C.S. Meeussen
  • , H. Zantema

    Onderzoeksoutput: Boek/rapportRapportPopulair

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

    Publicatie series

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

    Citeer dit