On Löb algebras.

Majid Alizadeh Mohammad Ardeshir

Published in: Math. Log. Q. (2006)

Keyphrases

spatial reasoning
topological spaces
distributive lattices
temporal reasoning
clifford algebra
data sets
databases
information systems
search space
neural network
high quality
user interface
interval algebra