Document Type
Technical Report
Publication Date
2003
Recommended Citation
Pentus, Mati, "TR-2003005: Lambek Calculus Is NP-Complete" (2003). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/226
Technical Report
2003
Pentus, Mati, "TR-2003005: Lambek Calculus Is NP-Complete" (2003). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/226