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)
    116 Downloads (Pure)

    Samenvatting

    Term rewriting systems with rules of different priority are introduced. The semantics are explained in detail and several examples are discussed. Partial support was received from the European Communities under Esprit contract No.432, Meteor (An integrated formal approach to industrial software development)
    Originele taal-2Engels
    TitelRewriting Techniques and Applications, Bordeaux, France, May 25-27, 1987 : proceedings / Ed. Pierre Lescanne
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's83-94
    ISBN van geprinte versie3-540-17220-3
    StatusGepubliceerd - 1987

    Publicatie series

    NaamLecture notes in computer science
    Volume256
    ISSN van geprinte versie0302-9743

    Vingerafdruk

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

    Citeer dit