• Sorted by Date • Classified by Publication Type • Classified by Research Category •
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.
[PDF] [gzipped postscript] [postscript] [HTML]
(unavailable)
@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 Mon Jan 08, 2024 13:46:57