BOOKS by Enno Ohlebusch

Sometimes it pays off to expand your search to view all available copies of items matching your search terms.

Page 1 of 1

sort by

Advanced Topics in Term Rewriting more books like this

by Enno Ohlebusch

add to wishlist

The book is intended for researchers, not only for those working in term rewriting, but it is also of interest for scientists working in areas like functional or logic programming, formal methods, automated reasoning, and symbolic computation, since term rewriting is also a fundamental concept in these areas. For example, Chapter 11 will ...

see all copies from $30.00!

new only from $47.00! | first editions | SVS

Page 1 of 1

Browse subjects

Our Money-Back Guarantee

We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.

	Deduction Systems by Rolf Socher-Ambrosius, Patricia Johann see all from $8.12! new only from $8.12!
	Purely Functional Data Structures by Chris Okasaki see all from $39.95! new only from $39.95!
	Essentials of Programming Languages by Daniel P Friedman, Mitchell Wand see all from $1.99! new only from $32.00!
	Reasoning and Unification Over Conceptual Graphs by Dan Corbett see all from $11.08! new only from $17.44!
	Handbook of Automated Reasoning by Alan Robinson (Editor), Andrei Voronkov (Editor) see all from $30.00! new only from $203.22!
	Formal Methods in Artificial Intelligence by Ramsay see all from $5.38! new only from $46.75!