Overview
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
