Výsledky vyhledávání
- 1.0550967 - ÚI 2023 RIV CH eng M - Část monografie knihy
Horčík, Rostislav
Finite Embeddability Property for Residuated Lattices via Regular Languages.
Hiroakira Ono on Substructural Logics. Cham: Springer, 2022 - (Galatos, N.; Terui, K.), s. 273-298. Outstanding Contributions to Logic, 23. ISBN 978-3-030-76919-2
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Finite Embeddability Property * Residuated Lattices * Regular Languages
Obor OECD: Pure mathematics
http://dx.doi.org/10.1007/978-3-030-76920-8_7
Trvalý link: http://hdl.handle.net/11104/0326248 - 2.0430593 - ÚI 2015 GB eng A - Abstrakt
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]
Grant CEP: GA ČR GAP202/11/1632
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Burnside problem * regular languages * residuated lattices
Kód oboru RIV: BA - Obecná matematika
http://easychair.org/publications/?page=1179031665
Trvalý link: http://hdl.handle.net/11104/0235502Název souboru Staženo Velikost Komentář Verze Přístup a0430593.pdf 0 187.6 KB Vydavatelský postprint povolen - 3.0394007 - MÚ 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Czerwiński, W. - Martens, W. - Masopust, Tomáš
Efficient separability of regular languages by subsequences and suffixes.
Automata, Languages, and Programming. Part II. Berlin: Springer, 2013 - (Fomin, F.; Freivalds, R.; Kwiatkowska, M.; Peleg, D.), s. 150-161. Lecture Notes in Computer Science, 7966. ISBN 978-3-642-39211-5.
[International Colloquium, ICALP 2013 /40./. Riga (LT), 08.07.2013-12.07.2013]
Institucionální podpora: RVO:67985840
Klíčová slova: regular languages * separation * piecewise testable languages
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007/978-3-642-39212-2_16
Trvalý link: http://hdl.handle.net/11104/0222336Název souboru Staženo Velikost Komentář Verze Přístup Masopust.pdf 2 334.9 KB Vydavatelský postprint vyžádat - 4.0336039 - MÚ 2010 RIV US eng J - Článek v odborném periodiku
Koucký, Michal
Circuit complexity of regular languages.
Theory of Computing Systems. Roč. 45, č. 4 (2009), s. 865-879. ISSN 1432-4350. E-ISSN 1433-0490
Grant CEP: GA ČR GP201/07/P276; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: regular languages * circuit complexity * upper and lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.726, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0180367Název souboru Staženo Velikost Komentář Verze Přístup Koucky2.pdf 1 323.5 KB Vydavatelský postprint vyžádat - 5.0089749 - MÚ 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Koucký, Michal
Circuit complexity of regular languages.
[Obvodová složitost regulárních jazyků.]
proceedings of the 3rd Conference on Computability in Europe, CiE 2007. Heidelberg: Springer-Verlag, 2007 - (Cooper, S.; Loewe, B.; Sorbi, A.), s. 426-435. ISBN 978-3-540-73000-2.
[Conference on Computability in Europe/3./. Siena (IT), 18.06.2007-23.06.2007]
Grant CEP: GA ČR GA201/05/0124; GA ČR GP201/07/P276
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: regular languages * circuit complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0150854Název souboru Staženo Velikost Komentář Verze Přístup Koucky3.pdf 1 358.1 KB Vydavatelský postprint vyžádat