Login / Signup
A proof of Sobociński's conjecture concerning a certain set of lattice-theoretical formulas.
Thomas A. Sudkamp
Published in:
Notre Dame J. Formal Log. (1976)
Keyphrases
</>
multiscale
databases
small number
lattice structure
real time
information systems
evolutionary algorithm
fuzzy sets
boolean algebra