On Combinatory Algebras and their Expansions.

Kim B. Bruce Giuseppe Longo

Published in: Theor. Comput. Sci. (1984)

Keyphrases

clifford algebra
spatial reasoning
database systems
case study
temporal reasoning
interval algebra
topological spaces
distributive lattices
learning algorithm
social networks
object recognition
lower bound
relational databases
medical images