Pages that link to "Item:Q2303602"
From MaRDI portal
The following pages link to The complexity of multiplicative-additive Lambek calculus: 25 years later (Q2303602):
Displaying 5 items.
- On the complexity of nonassociative Lambek calculus with unit (Q1035836) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Logical foundations for hybrid type-logical grammars (Q2135950) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- Commutative Lambek grammars (Q6190089) (← links)