This work presents a systematic study of decision problems for equational theories of algebras of binary relations (relation algebras). For example, an easily a

This book discusses recent developments in semigroup theory and its applications in areas such as operator algebras, operator approximations and category theory

"We prove that any variety of relation algebras which contains an algebra with infinitely many elements below the identity, or which contains the full group rel

This book contains contributions by leading experts which cover an extensive range of topics in semigroups theory. Some of the articles exhibit the strong links