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 Fri Oct 26, 2018 12:17:07