Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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 Mon Jan 08, 2024 13:46:57