Login / Signup

Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk).

Amina Doumane
Published in: MFCS (2021)
Keyphrases
  • invited talk
  • equational theories
  • selected papers
  • theorem proving
  • knowledge discovery and data mining
  • relation algebra
  • relational databases
  • neural network
  • integrity constraints