Book
Term Rewriting Systems
An introduction to the theory of term rewriting systems. These are a technique used in computer science, especially functional programming, for abstract data type specification and automatic theorem-proving. Exercises are included throughout, and solutions to a selection of them are provided. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780521391153
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Nobody
