Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Multi-focused Proofs with Different Polarity Assignments

Elaine Pimentel, Vivek Nigam, and João Neto. Multi-focused Proofs with Different Polarity Assignments . Electronic Notes in Theoretical Computer Science , 323( ):163 – 179, 2016. Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2015)

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

BibTeX

@article{pimentel16lsfa,
title = "Multi-focused Proofs with Different Polarity Assignments ",
journal = "Electronic Notes in Theoretical Computer Science ",
volume = "323",
number = " ",
pages = "163 - 179",
year = "2016",
note = "Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2015) ",
issn = "1571-0661",
doi = "http://dx.doi.org/10.1016/j.entcs.2016.06.011",
url = "http://www.sciencedirect.com/science/article/pii/S1571066116300391",
author = "Elaine Pimentel and Vivek Nigam and João Neto",
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Logical Frameworks},
bib2html_dl_pdf = "/docs/lsfa15.pdf"
}

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