Košík

0328480 - ÚI 2010 US eng A - Abstrakt
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]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: disjunction property * full Lambek calculus with exchange and weakening * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174786