| 2006 |
|---|
| 7 | EE | Mati Pentus:
Lambek calculus is NP-complete.
Theor. Comput. Sci. 357(1-3): 186-201 (2006) |
| 1997 |
|---|
| 6 | | Mati Pentus:
Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic.
LFCS 1997: 306-311 |
| 5 | | Mati Pentus:
Product-Free Lambek Calculus and Context-Free Grammars.
J. Symb. Log. 62(2): 648-660 (1997) |
| 1995 |
|---|
| 4 | | Mati Pentus:
Models for the Lambek Calculus.
Ann. Pure Appl. Logic 75(1-2): 179-213 (1995) |
| 3 | EE | Mati Pentus:
IGPL/FoLLI Prize.
Logic Journal of the IGPL 3(5): 682-683 (1995) |
| 1994 |
|---|
| 2 | | Mati Pentus:
Language Completeness of the Lambek Calculus
LICS 1994: 487-496 |
| 1993 |
|---|
| 1 | | Mati Pentus:
Lambek Grammars Are Context Free
LICS 1993: 429-433 |
