Universal Algebra for Computer Scientists (Softcover Reprint of the Original 1st 1992)Paperback - Softcover Reprint of the Original 1st 1992, 1 August 2012

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.