• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Vivek Nigam. A framework for linear authorization logics . Theoretical Computer Science , 536(0):21 – 41, 2014.
This is an extended and corrected version of my LICS 2012 paper.
[PDF] [gzipped postscript] [postscript] [HTML]
(unavailable)
@article{nigam14tcs,
title = "A framework for linear authorization logics ",
journal = "Theoretical Computer Science ",
volume = "536",
number = "0",
pages = "21 - 41",
year = "2014",
issn = "0304-3975",
doi = "http://dx.doi.org/10.1016/j.tcs.2014.02.018",
url = "http://www.sciencedirect.com/science/article/pii/S030439751400111X",
author = "Vivek Nigam",
keywords = "Linear authorization logics",
keywords = "Logic complexity",
keywords = "Proof theory ",
bib2html_pubtype = {Journal},
bib2html_rescat = {Logical Frameworks},
wwwnote = "This is an extended and corrected version of my LICS 2012 paper.",
bib2html_dl_pdf = "/docs/lal-journal.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57