Term rewriting systems with priorities

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    18 Citations (Scopus)
    116 Downloads (Pure)


    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)
    Original languageEnglish
    Title of host publicationRewriting Techniques and Applications, Bordeaux, France, May 25-27, 1987 : proceedings / Ed. Pierre Lescanne
    Place of PublicationBerlin
    ISBN (Print)3-540-17220-3
    Publication statusPublished - 1987

    Publication series

    NameLecture notes in computer science
    ISSN (Print)0302-9743


    Dive into the research topics of 'Term rewriting systems with priorities'. Together they form a unique fingerprint.

    Cite this