• Sorted by Date • Classified by Publication Type • Classified by Research Category •
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)
[PDF] [gzipped postscript] [postscript] [HTML]
(unavailable)
@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 Mon Jan 08, 2024 13:46:57