The category of implicative algebras and realizability.

Walter Ferrer Santos Octavio Malherbe

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

spatial reasoning
data sets
artificial neural networks
temporal reasoning
topological spaces
databases
social networks
digital libraries
image representation
relation algebra