Pages that link to "Item:Q2903756"
From MaRDI portal
The following pages link to Lambek grammars with one division and one primitive type (Q2903756):
Displaying 8 items.
- On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
- On translating context-free grammars into Lambek grammars (Q902051) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- (Q3026364) (← links)
- Lambek Grammars with One Division Are Decidable in Polynomial Time (Q3503645) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- A polynomial-time algorithm for the Lambek calculus with brackets of bounded order (Q5111318) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents (Q5414969) (← links)