Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
M. R. Pentus - MaRDI portal

M. R. Pentus

From MaRDI portal
(Redirected from Person:1334985)
Person:376153

Available identifiers

zbMath Open pentus.matiWikidataQ102290098 ScholiaQ102290098MaRDI QIDQ376153

List of research outcomes





PublicationDate of PublicationType
Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening2023-03-06Paper
Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening2022-06-09Paper
Sergei Ivanovich Adian2021-06-04Paper
Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)2020-03-11Paper
Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening2019-12-08Paper
The atomic theory of division and intersection of semiring ideals2018-10-30Paper
The atomic theory of multiplication and division of semiring ideals2014-06-04Paper
The Monotone Lambek Calculus Is NP-Complete2014-05-08Paper
The atomic theory of left division of two-sided ideals of semirings with unit2013-11-04Paper
https://portal.mardi4nfdi.de/entity/Q29040612012-08-05Paper
The atomic theory of division of semiring ideals2008-10-28Paper
Lambek calculus is NP-complete2006-08-16Paper
https://portal.mardi4nfdi.de/entity/Q53150782005-09-07Paper
https://portal.mardi4nfdi.de/entity/Q47616692001-02-21Paper
https://portal.mardi4nfdi.de/entity/Q47617922001-02-21Paper
https://portal.mardi4nfdi.de/entity/Q47618072001-02-21Paper
https://portal.mardi4nfdi.de/entity/Q43814192000-11-20Paper
https://portal.mardi4nfdi.de/entity/Q42634901999-11-21Paper
https://portal.mardi4nfdi.de/entity/Q42185281999-08-31Paper
https://portal.mardi4nfdi.de/entity/Q42457511999-06-09Paper
https://portal.mardi4nfdi.de/entity/Q43760711998-02-08Paper
Product-free Lambek calculus and context-free grammars1998-02-04Paper
https://portal.mardi4nfdi.de/entity/Q31280651997-07-01Paper
Models for the Lambek calculus1995-10-04Paper
The conjoinability relation in Lambek calculus and linear logic1994-09-26Paper

Research outcomes over time

This page was built for person: M. R. Pentus