Term Rewriting and All That

Term Rewriting and All That

By
Franz Baader
Franz Baader,
Tobias Nipkow
Tobias Nipkow
1998 • 318 pages

Unified and self-contained introduction to term-rewriting; suited for students or professionals.

Tags

Become a Librarian

Reviews

Popular Reviews

Reviews with the most likes.

There are no reviews for this book. Add yours and it'll show up right here!

Top Lists

See all (2)

List

557 books

Non Fiction

ryanlntn
Ryan Linton
Engines of Creation: The Coming Era of Nanotechnology
The Selfish Gene
How to Win Friends & Influence People
How to Read a Book
ReWork: Change the Way You Work Forever
The Singularity is Near: When Humans Transcend Biology
The Age of Spiritual Machines

List

174 books

Computer Science

ryanlntn
Ryan Linton
Structure and Interpretation of Computer Programs
Code: The Hidden Language of Computer Hardware and Software
The Art of Computer Programming - 4 volumes
Algorithms
Introduction to Algorithms
Code Complete
The Pragmatic Programmer