Millions of titlesEvery book you're looking for
Carbon-neutral shippingFree on orders over $39.99
Fast shipping worldwideDelivered to your door
A new model-theoretic approach to universal algebra for computer scientists is offered in this book. The approach covers algebraic characterization, term rewriting systems, and fixpoint methods. The book is self-contained and suitable both as a graduate text and as a reference for researchers.
- Author:
- Wolfgang Wechler
- Publisher:
- Springer
- Publication Date:
- Aug 01, 2012
- Number of pages:
- 339 pages
- Binding:
- Paperback or Softback
- ISBN-10:
- 3642767737
- ISBN-13:
- 9783642767739