Book
Rewriting Techniques and Applications
A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783540643012
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 ».
Reviews of Rewriting Techniques and Applications by T. Nipkow
There are no reviews for this book yet.
Idea box
