188
Voted
TABLEAUX
1999
Springer
16 years 14 hour ago
1999
Springer
We prove, by introducing a new kind of sequent calculus, that the decision problem for the non-associative Lambek calculus with product belongs to PTIME. This solves an open prolem...