Skip to content

Reducibility of Monotone Formulas to µ-Formulas.

Daniele Mundici

VenueBCSL
Year1989
ProceedingsCSL

Browse the full CSL paper archive.