Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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 Mon Jan 08, 2024 13:46:57