Login / Signup

Reducibility of Monotone Formulas to µ-Formulas.

Daniele Mundici
Published in: CSL (1989)
Keyphrases
  • mathematical formulas
  • genetic algorithm
  • search engine
  • data mining
  • lower bound