Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Towards the Automated Generation of Focused Proof Systems

Vivek Nigam, Giselle Reis, and Leonardo Lima. Towards the Automated Generation of Focused Proof Systems. In Workshop on Focusing, EPTCS, 2015.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{nigam.autfocu,
  author    = {Vivek Nigam and Giselle Reis and Leonardo Lima},
  title     = {Towards the Automated Generation of Focused Proof Systems},
  booktitle = {Workshop on Focusing},
  series    = {EPTCS},
  year = {2015},
  bib2html_pubtype = {Refereed Conference/Workshop},
    bib2html_rescat = {Logical Frameworks},
  year  = "2015",
  bib2html_dl_pdf = "/docs/autfocu-red.pdf"
}  

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