by Book, Ronald V., Otto, Friedrich
fromTexts and Monographs in Computer Science
by Book, Ronald V., Otto, Friedrich
fromTexts and Monographs in Computer Science
by Book, Ronald V., Otto, Friedrich
fromTexts and Monographs in Computer Science
by Book, Ronald V., Otto, Friedrich
fromTexts and Monographs in Computer Science
by Book, Ronald V., Otto, Friedrich
fromTexts and Monographs in Computer Science
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: un…
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: un…
Intended for students and professionals, this is the first English-language textbook offering a unified and self-contained introduction to the field of term rewriting.
I. Basic specifications. 1. Signatures -- 2. Models -- 3. Sentences -- 4. Satisfaction -- 5. Proof system -- II. Structuring specifications. 6. Fundamental semantics concepts -- 7. Module imports -- 8. Views -- 9. Parameterized modules -- 10. Module expressions -- 11. Built-in m…
CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the syst…