Book
Equivalence of Reductions in Higher-Order Rewriting
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9789039348178
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 Equivalence of Reductions in Higher-Order Rewriting by H.J.S. Bruggink
There are no reviews for this book yet.
Idea box
