Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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.

Download

[PDF] 

Abstract

(unavailable)

@article{nigam13iclp,
  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        = {http://journals.cambridge.org/downloadsup.php?file=/tlp2013007.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note = "Appearing at ICLP 2013.",
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "/docs/pf-asp.pdf"
}

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