Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Exploiting non-canonicity in the Sequent Calculus

Vivek Nigam. Exploiting non-canonicity in the Sequent Calculus. Ph.D. Thesis, Ecole Polytechnique, 2009.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@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 Wed Jul 19, 2017 09:17:26