Complexity of Equations Valid in Algebras of Relations: Part I: Strong Non-Finitizability

Hajnal Andréka. Complexity of Equations Valid in Algebras of Relations: Part I: Strong Non-Finitizability. Annals of Pure and Applied Logic, 89(2-3):149-209, 1997.

Abstract

Abstract is missing.