dblp.uni-trier.dewww.uni-trier.de

Mati Pentus Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
7EEMati 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)
3EEMati 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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)