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