Term rewriting systems with priorities

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    18 Citaten (Scopus)
    115 Downloads (Pure)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Term rewriting systems with priorities'. Samen vormen ze een unieke vingerafdruk.

    Computer Science