Term rewriting systems with priorities

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    17 Citations (Scopus)
    115 Downloads (Pure)

    Fingerprint

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

    Computer Science