Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Using Tables to Construct Non-Redundant Proofs.

Vivek Nigam. Using Tables to Construct Non-Redundant Proofs.. In CiE 2008: Abstracts and extended abstracts of unpublished papers, 2008.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@InProceedings{ nigam08cie,
	author = "Vivek Nigam",
	title = "Using Tables to Construct Non-Redundant Proofs.",
	year = "2008",
	booktitle = "CiE 2008: Abstracts and extended abstracts of unpublished papers",
    bib2html_pubtype = {Unrefereed Collection},
    bib2html_rescat = {Logical Frameworks},
	bib2html_dl_pdf = "/docs/nigam_Non_Redundant_Proofs.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Jul 19, 2017 09:17:26