Welcome to E-Books Directory
This is a freely downloadable e-book.
Rule-based Computation and Deduction
Read this book online or download it here for free
Custom Search
Rule-based Computation and Deduction
by Helene Kirchner, Pierre-Etienne Moreau
Publisher: ESSLLI 2001
Number of pages: 100
Description:
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.