A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the method
Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal alg
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it
The purpose of this book is to study the structures needed to model objects in universal algebra, universal coalgebra and theoretical computer science. Universa