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 Fri Oct 26, 2018 12:17:07