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 Proceedings First International Workshop on Focusing, WoF'15 2015, Suva, Fiji, 23rd November 2015., pp. 1–6, EPTCS, 2015.

Download

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

Abstract

(unavailable)

BibTeX

@inproceedings{nigam15wof,
  author    = {Vivek Nigam and
               Giselle Reis and
               Leonardo Lima},
  title     = {Towards the Automated Generation of Focused Proof Systems},
  booktitle = {Proceedings First International Workshop on Focusing, WoF'15 2015,
               Suva, Fiji, 23rd November 2015.},
  pages     = {1--6},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.197.1},
  doi       = {10.4204/EPTCS.197.1},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "..."
}

Generated by bib2html.pl (written by Patrick Riley ) on Thu Apr 11, 2019 12:00:53