Pages that link to "Item:Q5111318"
From MaRDI portal
The following pages link to A polynomial-time algorithm for the Lambek calculus with brackets of bounded order (Q5111318):
Displaying 6 items.
- Unidirectional Lambek grammars in polynomial time (Q987373) (← links)
- Proving theorems of the second order Lambek calculus in polynomial time (Q1337601) (← links)
- On the recognizing power of the Lambek calculus with brackets (Q1630945) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Bracket induction for Lambek calculus with bracket modalities (Q6155205) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)