Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

An extended framework for specifying and reasoning about proof systems

Vivek Nigam, Elaine Pimentel, and Giselle Reis. An extended framework for specifying and reasoning about proof systems. J. Log. Comput., 26(2):539–576, 2016. Special issue in honor of Roy Dyckhoff.
The on-line tool, called TATU, implementing the techniques described in the paper can be found here

Download

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

Abstract

(unavailable)

BibTeX

@article{nigam15jlc,
   author    = {Vivek Nigam and
               Elaine Pimentel and
               Giselle Reis},
  title     = {An extended framework for specifying and reasoning about proof systems},
  journal   = {J. Log. Comput.},
  volume    = {26},
  number    = {2},
  pages     = {539--576},
  year      = {2016},
  url       = {http://dx.doi.org/10.1093/logcom/exu029},
  doi       = {10.1093/logcom/exu029},  
   note      = {Special issue in  honor of Roy Dyckhoff.},
   bib2html_pubtype = {Journal},
   bib2html_rescat = {Logical Frameworks},
   wwwnote = "The on-line tool, called TATU, implementing the techniques described in the paper can be found <a href=http://www.logic.at/people/giselle/tatu/>here</a>",
   bib2html_dl_pdf = "/docs/modal-sellf.pdf"
 }

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