@dblp

There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras.

, , and . Rev. Symb. Log., 9 (3): 511-521 (2016)

Links and resources

Tags