Article,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews