Search the dblp DataBase
Mati Pentus :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Mati Pentus Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic. [Citation Graph (0, 0)][DBLP ] LFCS, 1997, pp:306-311 [Conf ] Mati Pentus Lambek Grammars Are Context Free [Citation Graph (0, 0)][DBLP ] LICS, 1993, pp:429-433 [Conf ] Mati Pentus Language Completeness of the Lambek Calculus [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:487-496 [Conf ] Mati Pentus Models for the Lambek Calculus. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:179-213 [Journal ] Mati Pentus Product-Free Lambek Calculus and Context-Free Grammars. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1997, v:62, n:2, pp:648-660 [Journal ] Mati Pentus Lambek calculus is NP-complete. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:357, n:1-3, pp:186-201 [Journal ] Search in 0.002secs, Finished in 0.002secs