Term Rewriting Systems
Terese
Cambridge University Press, 2003
321,75 €On orderDelivery: 2-3 weeks
A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on the web, an extensive bibliography and a chapter on applications.
- ISBN-13
- 9780521391153
- ISBN-10
- 0521391156
- Publisher
- Cambridge University Press
- Year
- 2003
- Publication date
- 2003-03-20
- Pages
- 908
- Dimensions
- 227x292x59
- Weight
- 2498