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

    16 Citations (Scopus)
    98 Downloads (Pure)

    Abstract

    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
    PublisherSpringer
    Pages83-94
    ISBN (Print)3-540-17220-3
    Publication statusPublished - 1987

    Publication series

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

    Fingerprint

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

    Cite this