Advanced Topics in Term Rewriting

By Enno Ohlebusch

Book Overview

New advanced text/reference book on term rewriting theory and application. Essential, state-of-the-art reference for computer scientists and advanced graduates working in field of computational logic programming.

• Format: Paperback
• Language: English
• ISBN: 1441929215
• ISBN13: 9781441929211
• Release Date: December 2010
• Publisher: Springer
• Length: 414 Pages
• Weight: 1.33 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"