Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Term rewriting systems with priorities

  • J.C.M. Baeten
  • , J.A. Bergstra
  • , J.W. Klop

    Onderzoeksoutput: Boek/rapportRapportPopulair

    116 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieAmsterdam
    UitgeverijUniversiteit van Amsterdam
    Aantal pagina's20
    StatusGepubliceerd - 1986

    Publicatie series

    NaamReport FVI
    Volume86-03

    Bibliografische nota

    (Report FVI ; 86-03)

    Citeer dit