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.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@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 Wed Mar 01, 2017 14:31:37