Search results
- 1.0446020 - ÚI 2016 IT eng A - Abstract
Horčík, Rostislav
Characterization of Finite Embeddability Property for (Distributive) Residuated Lattices via Regular (Tree) Languages.
Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 140-141.
[TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0248512File Download Size Commentary Version Access a0446020.pdf 0 315.2 KB Publisher’s postprint open-access - 2.0446016 - ÚI 2016 IT eng A - Abstract
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]
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0248515File Download Size Commentary Version Access a0446016.pdf 0 307.6 KB Publisher’s postprint open-access - 3.0430593 - ÚI 2015 GB eng A - Abstract
Horčík, Rostislav
Residuated Lattices, Regular Languages, and Burnside Problem.
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic. University of Manchester: EasyChair Conference System, 2014 - (Galatos, N.; Kurz, A.; Tsinakis, C.). s. 6-7. ISSN 2040-557X.
[TACL 2013. 28.07.2013-01.08.2013, Nashville]
R&D Projects: GA ČR GAP202/11/1632
Institutional research plan: CEZ:AV0Z10300504
Keywords : Burnside problem * regular languages * residuated lattices
Subject RIV: BA - General Mathematics
http://easychair.org/publications/?page=1179031665
Permanent Link: http://hdl.handle.net/11104/0235502File Download Size Commentary Version Access a0430593.pdf 0 187.6 KB Publisher’s postprint open-access