M. R. Pentus

Available identifiers

zbMath Open pentus.matiWikidataQ102290098 ScholiaQ102290098MaRDI QIDQ376153

List of research outcomes

Publication	Date of Publication	Type
Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening	2023-03-06	Paper
Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening	2022-06-09	Paper
Sergei Ivanovich Adian	2021-06-04	Paper
Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)	2020-03-11	Paper
Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening	2019-12-08	Paper
The atomic theory of division and intersection of semiring ideals	2018-10-30	Paper
The atomic theory of multiplication and division of semiring ideals	2014-06-04	Paper
The Monotone Lambek Calculus Is NP-Complete	2014-05-08	Paper
The atomic theory of left division of two-sided ideals of semirings with unit	2013-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q2904061	2012-08-05	Paper
The atomic theory of division of semiring ideals	2008-10-28	Paper
Lambek calculus is NP-complete	2006-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5315078	2005-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4761669	2001-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4761792	2001-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4761807	2001-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4381419	2000-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4263490	1999-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4218528	1999-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q4245751	1999-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4376071	1998-02-08	Paper
Product-free Lambek calculus and context-free grammars	1998-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q3128065	1997-07-01	Paper
Models for the Lambek calculus	1995-10-04	Paper
The conjoinability relation in Lambek calculus and linear logic	1994-09-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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