Pub Date: August 1, 2012
Dewey: 004.01512
Lexile Code: 0000
Features: Illustrated
Target Age Group: NA to NA
Physical Info: 0.74" H x 9.61" L x 6.69" W ( 1.25 lbs) 339 pages
BISAC Categories:
Computers | Machine Theory | Logic Design | Software Development and Engineering | General | Computer Science | Programming | Mathematics | Algebra | Data Science | Data Modeling and Design | Database Administration and Management | Artificial Intelligence
Series: Monographs in Theoretical Computer Science. an Eatcs
Description: 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.