Sign in

Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report).

Harry B. Hunt IIIRichard Edwin Stearns
Published in: STACS (1986)
Keyphrases
  • algebraic structures
  • distributive lattices
  • boolean formula
  • inductive inference
  • boolean algebra
  • expressive power
  • upper bound
  • boolean functions
  • inference rules