Chvalovský, Karel - Horčík, Rostislav
Full Lambek Calculus with Contraction is Undecidable.
Journal of Symbolic Logic. Roč. 81, č. 2 (2016), s. 524-540. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR GAP202/11/1632
Impakt faktor: 0.511, rok: 2016 ; AIS: 0.772, rok: 2016
DOI: https://doi.org/10.1017/jsl.2015.18
http://hdl.handle.net/11104/0245628