Complexity of Equations Valid in Algebras of Relations: Part II: Finite Axiomatizations

Hajnal Andréka. Complexity of Equations Valid in Algebras of Relations: Part II: Finite Axiomatizations. Annals of Pure and Applied Logic, 89(2-3):211-229, 1997.

Abstract

Abstract is missing.