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 |
Related Products
