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 Jul 05, 2019 10:11:43