,

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

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

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии