Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Relating Focused Proofs with Different Polarity Assignments

Vivek Nigam and Elaine Pimentel. Relating Focused Proofs with Different Polarity Assignments. In LFMTP, 2013. Work in Progress

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@InProceedings{ nigam13lfmtp,
	author = "Vivek Nigam and Elaine Pimentel",
	title = "Relating Focused Proofs with Different 
Polarity Assignments",
	booktitle = "LFMTP",
	year = "2013",
	note = {Work in Progress},
    bib2html_pubtype = {Unrefereed Collection},
    bib2html_rescat = {Other},
	bib2html_dl_pdf = "/docs/LFMTP13.pdf"
}

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