Mati Pentus

According to our database, Mati Pentus authored at least 12 papers between 1993 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

The Monotone Lambek Calculus Is NP-Complete.

Mati Pentus

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2010

Complexity of the Lambek Calculus and Its Fragments.

Mati Pentus

Proceedings of the Advances in Modal Logic 8, 2010

2006

Lambek calculus is NP-complete.

Mati Pentus

Theor. Comput. Sci., 2006

1999

Provability, complexity, grammars.

Lev D. Beklemishev, Mati Pentus, Nikolai K. Vereshchagin

American Mathematical Society translations series 2 192, American Mathematical Society, ISBN: 978-0-8218-1078-1, 1999

1997

Product-Free Lambek Calculus and Context-Free Grammars.

Mati Pentus

J. Symb. Log., 1997

Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic.

Mati Pentus

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1995

IGPL/FoLLI Prize.

Mati Pentus

Log. J. IGPL, 1995

Models for the Lambek Calculus.

Mati Pentus

Ann. Pure Appl. Log., 1995

Lambek Calculus and Formal Languages.

Mati Pentus

Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, 1995

1994

The conjoinability relation in Lambek calculus and linear logic.

Mati Pentus

J. Log. Lang. Inf., 1994

Language Completeness of the Lambek Calculus

Mati Pentus

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993

Lambek Grammars Are Context Free

Mati Pentus

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993