A Construction of Boolean Algebras from First-Order Structures.

Sabine Koppelberg

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

Keyphrases

real valued
higher order
boolean functions
decision diagrams
genetic algorithm
first order logic
boolean queries
databases
data structure
structural features
construction process
stochastic dominance
distributive lattices