%0 Conference Paper %1 conf/rta/KanovichKMS17 %A Kanovich, Max I. %A Kuznetsov, Stepan L. %A Morrill, Glyn %A Scedrov, Andre %B FSCD %D 2017 %E Miller, Dale %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 22:1-22:17 %T A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order. %U http://dblp.uni-trier.de/db/conf/rta/fscd2017.html#KanovichKMS17 %V 84 %@ 978-3-95977-047-7

@inproceedings{conf/rta/KanovichKMS17, added-at = {2021-08-16T00:00:00.000+0200}, author = {Kanovich, Max I. and Kuznetsov, Stepan L. and Morrill, Glyn and Scedrov, Andre}, biburl = {https://www.bibsonomy.org/bibtex/20cd65dce8c14173bf46d38c87879d689/dblp}, booktitle = {FSCD}, crossref = {conf/rta/2017}, editor = {Miller, Dale}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2017.22}, interhash = {0ae9a37936ec1704e796713c3cec292c}, intrahash = {0cd65dce8c14173bf46d38c87879d689}, isbn = {978-3-95977-047-7}, keywords = {dblp}, pages = {22:1-22:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T21:06:22.000+0200}, title = {A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2017.html#KanovichKMS17}, volume = 84, year = 2017 }