Košík

0446016 - ÚI 2016 IT eng A - Abstrakt
Chvalovský, Karel - Horčík, Rostislav
Full Lambek Calculus with contraction is undecidable.
Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 49-50.
[TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0248515