Subalgebras of a Finite Monadic Boolean Algebra.

Luiz F. Monteiro Manuel Abad Sonia Savini Julio Sewald Marta A. Zander

Published in: Reports Math. Log. (2006)

Keyphrases

boolean algebra
cardinality constraints
datalog queries
constraint query languages
deductive databases
theorem prover
databases
set theory
finite automata
data mining
fuzzy logic