The following pages link to (Q4263011):
Displayed 8 items.
- Product-free Lambek calculus is NP-complete (Q408532) (← links)
- Unidirectional Lambek grammars in polynomial time (Q987373) (← links)
- \(k\)-valued non-associative Lambek grammars are learnable from generalized functor-argument structures (Q2369010) (← links)
- Lambek calculus is NP-complete (Q2500488) (← links)
- Lambek Grammars with One Division Are Decidable in Polynomial Time (Q3503645) (← links)
- Product-Free Lambek Calculus Is NP-Complete (Q3605542) (← links)
- k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures (Q4924528) (← links)
- (Q5111318) (← links)