Term rewriting systems with rule priorities

J.C.M. Baeten, J.A. Bergstra, J.W. Klop, W.P. Weijland

    Onderzoeksoutput: Boek/rapportRapportAcademic

    65 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieAmsterdam
    UitgeverijCentrum voor Wiskunde en Informatica
    Aantal pagina's18
    StatusGepubliceerd - 1988

    Publicatie series

    NaamCWI report. CS-R
    Volume8815
    ISSN van geprinte versie0169-118X

    Citeer dit

    Baeten, J. C. M., Bergstra, J. A., Klop, J. W., & Weijland, W. P. (1988). Term rewriting systems with rule priorities. (CWI report. CS-R; Vol. 8815). Centrum voor Wiskunde en Informatica.