Pages that link to "Item:Q511445"
From MaRDI portal
The following pages link to On translating Lambek grammars with one division into context-free grammars (Q511445):
Displaying 6 items.
- On translating context-free grammars into Lambek grammars (Q902051) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Lambek grammars with one division and one primitive type (Q2903756) (← links)
- Lambek Grammars with One Division Are Decidable in Polynomial Time (Q3503645) (← links)
- A polynomial-time algorithm for the Lambek calculus with brackets of bounded order (Q5111318) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)