Full Lambek Calculus with Exchange and Weakening is PSPACE-omplete
Bibliographic details
Authors
Rostislav Horčík
Publication year
Publication type
Abstrakt
Periodical
BLAST 2009
Bibliographic citation
HORČÍK, Rostislav. Full Lambek Calculus with Exchange and Weakening is PSPACE-omplete. In: BLAST 2009. Las Cruses: New Mexico State University, 2009, S. 26-26.
