Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Checking Proof Transformations with ASP

Vivek Nigam, Giselle Reis, and Leonardo Lima. Checking Proof Transformations with ASP. Theory and Practice of Logic Programming, 13(4-5-Online-Supplement), 2013. Appearing at ICLP 2013.






  author    = {Vivek Nigam and
               Giselle Reis and
               Leonardo Lima},
  title     = {Checking Proof Transformations with {ASP}},
  journal   = {Theory and Practice of Logic Programming},
  volume    = {13},
  number    = {4-5-Online-Supplement},
  year      = {2013},
  ee        = {},
  bibsource = {DBLP,},
  note = "Appearing at ICLP 2013.",
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "/docs/pf-asp.pdf"

Generated by (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57