EasyChair Smart Slide
Complexity of Nonassociative Lambek Calculus with Classical Logic
Complexity of Nonassociative Lambek Calculus with Classical Logic