​
Login / Signup
Mati Pentus
ORCID
Publication Activity (10 Years)
Years Active: 1993-2014
Publications (10 Years): 0
Top Topics
Np Complete Problems
Randomly Generated
Top Venues
Categories and Types in Logic, Language, and Physics
</>
Publications
</>
Mati Pentus
The Monotone Lambek Calculus Is NP-Complete.
Categories and Types in Logic, Language, and Physics
(2014)
Mati Pentus
Complexity of the Lambek Calculus and Its Fragments.
Advances in Modal Logic
(2010)
Mati Pentus
Lambek calculus is NP-complete.
Theor. Comput. Sci.
357 (1-3) (2006)
Mati Pentus
Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic.
LFCS
(1997)
Mati Pentus
Product-Free Lambek Calculus and Context-Free Grammars.
J. Symb. Log.
62 (2) (1997)
Mati Pentus
Lambek Calculus and Formal Languages.
Logic Colloquium
(1995)
Mati Pentus
IGPL/FoLLI Prize.
Log. J. IGPL
3 (5) (1995)
Mati Pentus
Models for the Lambek Calculus.
Ann. Pure Appl. Log.
75 (1-2) (1995)
Mati Pentus
Language Completeness of the Lambek Calculus
LICS
(1994)
Mati Pentus
The conjoinability relation in Lambek calculus and linear logic.
J. Log. Lang. Inf.
3 (2) (1994)
Mati Pentus
Lambek Grammars Are Context Free
LICS
(1993)