• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Vivek Nigam. Exploiting non-canonicity in the Sequent Calculus. Ph.D. Thesis, Ecole Polytechnique, 2009.
(unavailable)
@PhDThesis{ nigam09phd,
author = "Vivek Nigam",
title = "Exploiting non-canonicity in the {S}equent {C}alculus",
school = "Ecole Polytechnique",
year = "2009",
month = "sep",
bib2html_pubtype = {Thesis},
bib2html_rescat = {Logical Frameworks},
bib2html_dl_pdf = "http://nigam.info/thesis/thesis.html"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57