Book
Automatically proving termination and innermost normalisation of term rewriting systems
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
NUR
ISBN
9789039314098
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 Automatically proving termination and innermost normalisation of term rewriting systems by T.H.J.J. Arts
There are no reviews for this book yet.
Idea box
