Počet záznamů: 1
Characterization of Finite Embeddability Property for (Distributive) Residuated Lattices via Regular (Tree) Languages
- 1.0446020 - ÚI 2016 IT eng A - Abstrakt
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]
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/0248512
Název souboru Staženo Velikost Komentář Verze Přístup a0446020.pdf 0 315.2 KB Vydavatelský postprint povolen
Počet záznamů: 1