Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Quati: From Linear Logic Specifications to Inference Rules (Extended Abstract)

Vivek Nigam, Giselle Reis, and Leonardo Lima. Quati: From Linear Logic Specifications to Inference Rules (Extended Abstract). In Brazilian Logic Conference, 2014.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{nigam14ebl,
  author    = {Vivek Nigam 
               and Giselle Reis and Leonardo Lima},
  title     = {Quati: From Linear Logic Specifications to Inference Rules (Extended Abstract)},
     booktitle      = {Brazilian Logic Conference},
	 year = "2014",
     bib2html_pubtype = {Unrefereed Collection},
     bib2html_rescat = {Logical Frameworks},
	 bib2html_dl_pdf = "/docs/ebl14.pdf"
 }

Generated by bib2html.pl (written by Patrick Riley ) on Wed Mar 01, 2017 14:31:37