Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Quati: An Automated Tool for Proving Permutation Lemmas

Vivek Nigam, Giselle Reis, and Leonardo Lima. Quati: An Automated Tool for Proving Permutation Lemmas. In IJCAR, pp. 255–261, 2014.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

  @inproceedings{nigam14ijcar,
  author    = {Vivek Nigam and
               Giselle Reis and
               Leonardo Lima},
  title     = {Quati: An Automated Tool for Proving Permutation Lemmas},
  booktitle = {IJCAR},
  year      = {2014},
  pages     = {255-261},
  ee        = {http://dx.doi.org/10.1007/978-3-319-08587-6_18},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "/docs/quati.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Jul 19, 2017 09:17:26