Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Incorporating tables into proofs

Dale Miller and Vivek Nigam. Incorporating tables into proofs. In CSL, pp. 466–480, LNCS 4646, 2007.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@InProceedings{ miller07csla,
	title = "Incorporating tables into proofs",
	booktitle = "CSL",
	series = "LNCS",
	author = "Dale Miller and Vivek Nigam",
	editor = "J. Duparc and T. A. Henzinger",
	pages = "466--480",
	volume = "4646",
	year = "2007",
    bib2html_pubtype = {Refereed Conference/Workshop},
    bib2html_rescat = {Logical Frameworks},
	bib2html_dl_pdf = "/docs/CSL07.pdf"
}

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