Decision problems for equational theories of relation algebras

Hajnal Andréka, Steven Givant, István Németi. Decision problems for equational theories of relation algebras. Volume 126 of Memoirs of the American Mathematical Society, American Mathematical Society, 1997.

Abstract

Abstract is missing.