Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

@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 Mon Jan 08, 2024 13:46:57