@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@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"
}