• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Max I. Kanovich, Stepan Kuznetsov, Vivek Nigam, and Andre Scedrov. A Logical Framework with Commutative and Non-commutative Subexponentials. In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, pp. 228–245, 2018.
[PDF] [gzipped postscript] [postscript] [HTML]
(unavailable)
@inproceedings{kanovich18ijcar,
author = {Max I. Kanovich and
Stepan Kuznetsov and
Vivek Nigam and
Andre Scedrov},
title = {A Logical Framework with Commutative and Non-commutative Subexponentials},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
pages = {228--245},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_16},
doi = {10.1007/978-3-319-94205-6\_16},
timestamp = {Mon, 09 Jul 2018 13:01:56 +0200},
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Logical Frameworks},
bib2html_dl_pdf = "/docs/ijcar18.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57