Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

On the Complexity of Linear Authorization Logics

Vivek Nigam. On the Complexity of Linear Authorization Logics. In LICS, pp. 511–520, IEEE, 2012.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

BibTeX

@inproceedings{nigam12lics,
  author    = {Vivek Nigam},
  title     = {On the Complexity of Linear Authorization Logics},
  booktitle = {LICS},
  year      = {2012},
  pages     = {511-520},
  doi        = {http://dx.doi.org/10.1109/LICS.2012.61},
  booktitle = {LICS},
  publisher = {IEEE},
  year      = {2012},
  isbn      = {978-1-4673-2263-8},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "/docs/lal-draft.pdf"
}

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