%0 Journal Article %1 journals/apal/Savateev12 %A Savateev, Yury %D 2012 %J Ann. Pure Appl. Log. %K dblp %N 7 %P 775-788 %T Product-free Lambek calculus is NP-complete. %U http://dblp.uni-trier.de/db/journals/apal/apal163.html#Savateev12 %V 163

@article{journals/apal/Savateev12, added-at = {2020-02-21T00:00:00.000+0100}, author = {Savateev, Yury}, biburl = {https://www.bibsonomy.org/bibtex/2a55131c86b3762725d19bb33f4308d6a/dblp}, ee = {https://doi.org/10.1016/j.apal.2011.09.017}, interhash = {2bbb5c8123f327d6606ecdeecc6a0722}, intrahash = {a55131c86b3762725d19bb33f4308d6a}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 7, pages = {775-788}, timestamp = {2020-02-22T12:46:00.000+0100}, title = {Product-free Lambek calculus is NP-complete.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal163.html#Savateev12}, volume = 163, year = 2012 }