Number of the records: 1
Full Lambek Calculus with Exchange and Weakening is PSPACE-omplete
- 1.0328480 - ÚI 2010 US eng A - Abstract
Horčík, Rostislav
Full Lambek Calculus with Exchange and Weakening is PSPACE-omplete.
BLAST 2009. Las Cruses: New Mexico State University, 2009. s. 26-26.
[BLAST 2009. 10.08.2009-14.08.2009, Las Cruces]
Institutional research plan: CEZ:AV0Z10300504
Keywords : disjunction property * full Lambek calculus with exchange and weakening * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174786
Number of the records: 1