Pages that link to "Item:Q2513061"

The following pages link to Recognition of derivability for the Lambek calculus with one division (Q2513061):

Displaying 7 items.

• The atomic theory of left division of two-sided ideals of semirings with unit (Q376154) (← links)
• On translating Lambek grammars with one division into context-free grammars (Q511445) (← links)
• Unidirectional Lambek grammars in polynomial time (Q987373) (← links)
• Complexity of Lambek calculi with modalities and of total derivability in grammars (Q2066100) (← links)
• Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening (Q2673113) (← links)
• Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening (Q2689023) (← links)
• Lambek Grammars with One Division Are Decidable in Polynomial Time (Q3503645) (← links)