A Note on the Complexity of Associative-Commutative Lambek Calculus

Christophe Costa FlorĂȘncio. A Note on the Complexity of Associative-Commutative Lambek Calculus. In Robert Frank, editor, Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks, TAG+ 2002, Venice, Italy, May 20-23, 2002. pages 159-162, Association for Computational Linguistics, 2002. [doi]

Abstract

Abstract is missing.