@inproceedings{degroote:inria-00108070, TITLE = {{The Non-associative Lambek calculus with product in polynomial time}}, AUTHOR = {de Groote, Philippe}, URL = {https://inria.hal.science/inria-00108070}, NOTE = {Colloque avec actes et comit{\'e} de lecture.}, BOOKTITLE = {{Automatic Reasoning with Analytic Tableaux and Related Methods}}, ADDRESS = {Saratoga Springs, NY USA}, HAL_LOCAL_REFERENCE = {99-R-398 || de\_groote99b}, EDITOR = {Neil V. Murray}, PUBLISHER = {{Springer Verlag}}, SERIES = {Lecture Notes in Artificial Intelligence}, VOLUME = {1617}, PAGES = {128-139}, YEAR = {1999}, MONTH = Jun, KEYWORDS = {lambek calculus ; calcul de lambek}, HAL_ID = {inria-00108070}, HAL_VERSION = {v1}, }