Skip to content

Minimal Negation and Hereditary Harrop Formulae.

Alberto Momigliano

Year1992
ProceedingsLFCS

Browse the full LFCS paper archive.