Representable cylindric algebras.

Leon Henkin J. Donald Monk Alfred Tarski

Published in: Ann. Pure Appl. Log. (1986)

Keyphrases

spatial reasoning
topological spaces
clifford algebra
genetic algorithm
temporal reasoning
relation algebra
neural network
artificial intelligence
artificial neural networks
boolean algebra
distributive lattices