Derivations of equality algebras.

Gholam Reza Rezaei M. Aaly Kologani Rajab Ali Borzooei Mohammad Mohseni Takallo

Published in: Soft Comput. (2022)

Keyphrases

inference rules
distributive lattices
neural network
temporal reasoning
topological spaces
clifford algebra
databases
database systems
search algorithm
preprocessing
special case
spatial reasoning
fixpoint
database query languages