The finiteness of compact Boolean algebras.

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

Keyphrases

boolean functions
real valued
spatial reasoning
database
real time
databases
temporal reasoning
boolean logic