Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Automated Checking of Proof Transformations

Vivek Nigam, Giselle Reis, and Leonardo Lima. Automated Checking of Proof Transformations. Unpublished Draft.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@Unpublished{nigam.unp,
 author = {Vivek Nigam and Giselle Reis and Leonardo Lima},
  title     = {Automated Checking of Proof Transformations},
   year =         "Draft",
 bib2html_pubtype = {Submitted},
bib2html_rescat = {Logical Frameworks},
bib2html_dl_pdf = "/docs/permutations_jar.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Fri Oct 26, 2018 12:17:07