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