Skip to content

Elimination of Negation in a Logical Framework.

Alberto Momigliano

VenueBCSL
Year2000
ProceedingsCSL

Browse the full CSL paper archive.