Welcome to E-Books Directory
This is a freely downloadable e-book.

Rule-based Computation and Deduction

Rule-based Computation and Deduction
by Helene Kirchner, Pierre-Etienne Moreau

Publisher: ESSLLI 2001
Number of pages: 100

This text first introduces the concept of rewriting which is behind rule-based systems. Then the rewriting logic and the rewriting calculus are defined and shown to be especially suited to describing concurrent and non-deterministic computations.

Home page url

Download or read it online here:

Download link

 (870KB, PDF)