Pages that link to "Item:Q5184422"
From MaRDI portal
The following pages link to The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars (Q5184422):
Displayed 14 items.
- On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
- On translating context-free grammars into Lambek grammars (Q902051) (← links)
- Unidirectional Lambek grammars in polynomial time (Q987373) (← links)
- Gaifman's theorem on categorial grammars revisited (Q1115429) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Extending Lambek grammars to basic categorial grammars (Q1923836) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Categorial dependency grammars (Q2344756) (← links)
- Recognition of derivability for the Lambek calculus with one division (Q2513061) (← links)
- Lambek Grammars with One Division Are Decidable in Polynomial Time (Q3503645) (← links)
- Product-Free Lambek Calculus Is NP-Complete (Q3605542) (← links)
- Product-free Lambek calculus and context-free grammars (Q4358060) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)