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