The following pages link to M. R. Pentus (Q376153):
Displaying 25 items.
- The atomic theory of left division of two-sided ideals of semirings with unit (Q376154) (← links)
- The atomic theory of division of semiring ideals (Q950843) (← links)
- (Q1334985) (redirect page) (← links)
- The conjoinability relation in Lambek calculus and linear logic (Q1334986) (← links)
- Models for the Lambek calculus (Q1899151) (← links)
- The atomic theory of division and intersection of semiring ideals (Q1991564) (← links)
- The atomic theory of multiplication and division of semiring ideals (Q2452706) (← links)
- Lambek calculus is NP-complete (Q2500488) (← 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)
- (Q2904061) (← links)
- (Q3128065) (← links)
- (Q4218528) (← links)
- (Q4245751) (← links)
- (Q4263490) (← links)
- Product-free Lambek calculus and context-free grammars (Q4358060) (← links)
- (Q4376071) (← links)
- (Q4381419) (← links)
- (Q4761669) (← links)
- (Q4761792) (← links)
- (Q4761807) (← links)
- Sergei Ivanovich Adian (Q4992047) (← links)
- Vladimir Andreevich Uspensky (27/11/1930–27/6/2018) (Q5220248) (← links)
- (Q5315078) (← links)
- The Monotone Lambek Calculus Is NP-Complete (Q5414974) (← links)
