• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Vivek Nigam and Elaine Pimentel. Relating Focused Proofs with Different Polarity Assignments. In LFMTP, 2013. Work in Progress
(unavailable)
@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 Mon Jan 08, 2024 13:46:57