3 search results - page 1 / 1 » The Non-Associative Lambek Calculus with Product in Polynomi... |
TABLEAUX
1999
Springer
13 years 9 months 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...
COLING
2000
13 years 6 months ago
2000
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...