%0 Conference Paper %1 journals/entcs/Foret01 %A Foret, Annie %B FGMOL %D 2001 %E Moss, Lawrence S. %E Oehrle, Richard T. %I Elsevier %K dblp %P 81-93 %T The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable. %U http://dblp.uni-trier.de/db/journals/entcs/entcs53.html#Foret01 %V 53

@inproceedings{journals/entcs/Foret01, added-at = {2022-11-30T00:00:00.000+0100}, author = {Foret, Annie}, biburl = {https://www.bibsonomy.org/bibtex/22813aec8d74100c9dc1cb937f0e6dcf4/dblp}, booktitle = {FGMOL}, crossref = {conf/fgmol/2001}, editor = {Moss, Lawrence S. and Oehrle, Richard T.}, ee = {https://doi.org/10.1016/S1571-0661(05)82576-9}, interhash = {25f9946b6ec1b65912e8e4b2bc780218}, intrahash = {2813aec8d74100c9dc1cb937f0e6dcf4}, keywords = {dblp}, pages = {81-93}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T11:51:48.000+0200}, title = {The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs53.html#Foret01}, volume = 53, year = 2001 }