Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

@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 Mon Jan 08, 2024 13:46:57