Pages that link to "Item:Q376154"
From MaRDI portal
The following pages link to The atomic theory of left division of two-sided ideals of semirings with unit (Q376154):
Displaying 3 items.
- 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)
- The Monotone Lambek Calculus Is NP-Complete (Q5414974) (← links)