Pages that link to "Item:Q408532"

The following pages link to Product-free Lambek calculus is NP-complete (Q408532):

Displaying 2 items.

• On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
• Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)