Mati Pentus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1993–2010
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | AiML | Complexity of the Lambek Calculus and Its Fragments. | Mati Pentus |
| 1997 | LFCS | Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic. | Mati Pentus |
| 1994 | LICS | Language Completeness of the Lambek Calculus | Mati Pentus |
| 1993 | LICS | Lambek Grammars Are Context Free | Mati Pentus |