Universal Algebra and Applications in Theoretical Computer Science

TLDR

This graduate-level textbook provides an introduction to the basic ideas and concepts of universal algebra and surveys of newer developments, written in a style accessible to beginners.

Abstract

From the Publisher:

This graduate-level textbook provides an introduction to the basic ideas and concepts of universal algebra and surveys of newer developments. Universal Algebra and Applications in Theoretical Computer Science is written in a style accessible to beginners, with every new concept clearly explained and numerous examples provided. The main ideas of concept lattices as an important tool for conceptual analysis of data are developed, and several examples are given. The algebraic theory of tree automata and its interconnections to universal-algebraic concepts are described. The final part of the book is devoted to key applications of universal algebra in theoretical computer science.