Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Soft Subexponentials and Multiplexing

Max I. Kanovich, Stepan Kuznetsov, Vivek Nigam, and Andre Scedrov. Soft Subexponentials and Multiplexing. In Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I, pp. 500–517, Lecture Notes in Computer Science 12166, Springer, 2020.

Download

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

Abstract

(unavailable)

BibTeX

@inproceedings{kanovich20ijcar,
  author    = {Max I. Kanovich and
               Stepan Kuznetsov and
               Vivek Nigam and
               Andre Scedrov},
  editor    = {Nicolas Peltier and
               Viorica Sofronie{-}Stokkermans},
  title     = {Soft Subexponentials and Multiplexing},
  booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
               2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12166},
  pages     = {500--517},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-51074-9\_29},
  doi       = {10.1007/978-3-030-51074-9\_29},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "/docs/ijcar20.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Sat Aug 29, 2020 10:39:20