Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

A Framework for Proof Systems

Vivek Nigam and Dale Miller. A Framework for Proof Systems. J. Autom. Reasoning, 45(2):157–188, 2010.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@Article{ nigam10jar,
	author = "Vivek Nigam and Dale Miller",
	title = "A Framework for Proof Systems",
	journal = "J. Autom. Reasoning",
	volume = "45",
	number = "2",
	year = "2010",
	pages = "157--188",
	ee = "http://dx.doi.org/10.1007/s10817-010-9182-1",
	bibsource = "DBLP, http://dblp.uni-trier.de",
    bib2html_pubtype = {Journal},
    bib2html_rescat = {Logical Frameworks},
	bib2html_dl_pdf = "/docs/jar09.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57