Mati Pentus

12 papers A* 2B 1Misc 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2014 — conf
The Monotone Lambek Calculus Is NP-Complete.
Categories and Types in Logic, Language, and Physics
Mati Pentus
2010 B conf
Complexity of the Lambek Calculus and Its Fragments.
Advances in Modal Logic
Mati Pentus
2006 J jnl
Lambek calculus is NP-complete.
Theor. Comput. Sci.
Mati Pentus
1999 — book
Provability, complexity, grammars.
Lev D. Beklemishev, Mati Pentus, Nikolai K. Vereshchagin
1997 Misc conf
Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic.
LFCS
Mati Pentus
1997 J jnl
Product-Free Lambek Calculus and Context-Free Grammars.
J. Symb. Log.
Mati Pentus
1995 J jnl
IGPL/FoLLI Prize.
Log. J. IGPL
Mati Pentus
1995 — conf
Lambek Calculus and Formal Languages.
Logic Colloquium
Mati Pentus
1995 J jnl
Models for the Lambek Calculus.
Ann. Pure Appl. Log.
Mati Pentus
1994 A* conf
Language Completeness of the Lambek Calculus
LICS
Mati Pentus
1994 J jnl
The conjoinability relation in Lambek calculus and linear logic.
J. Log. Lang. Inf.
Mati Pentus
1993 A* conf
Lambek Grammars Are Context Free
LICS
Mati Pentus