Term rewriting systems with priorities

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    18 Citaten (Scopus)
    121 Downloads (Pure)

    Vingerafdruk

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

    Computer Science

    Agricultural and Biological Sciences