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.






 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 (written by Patrick Riley ) on Thu Nov 26, 2020 08:18:02