Zobrazeno 1 - 10
of 136
pro vyhledávání: '"Klíma, Ondřej"'
Autor:
Klíma, Ondřej, Kolegar, Jonatan
In 1985, Bucher, Ehrenfeucht and Haussler studied derivation relations associated with a given set of context-free rules. Their research motivated a question regarding homomorphisms from the semigroup of all words onto a finite ordered semigroup. The
Externí odkaz:
http://arxiv.org/abs/2203.06535
Publikováno v:
Algebra Universalis 84:6 (2023)
This paper is a contribution to understanding what properties should a topological algebra on a Stone space satisfy to be profinite. We reformulate and simplify proofs for some known properties using syntactic congruences. We also clarify the role of
Externí odkaz:
http://arxiv.org/abs/2109.07286
Autor:
Almeida, Jorge, Klíma, Ondřej
Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. We introduce Stone pseudovarietie
Externí odkaz:
http://arxiv.org/abs/1910.03674
Autor:
ČUTA, MARTIN, POLCEROVÁ, LENKA, KLÍMA, ONDŘEJ, ŠKULTÉTYOVÁ, ANNA, ZEMČÍK, PAVEL, KRÁLÍK, MIROSLAV
Publikováno v:
Anthropologie (1962-), 2022 Jan 01. 60(2), 329-350.
Externí odkaz:
https://www.jstor.org/stable/27199220
Autor:
KRÁLÍK, MIROSLAV, KONÍKOVÁ, LINDA, ARSLAN, AYSEL, POLCEROVÁ, LENKA, ČUTA, MARTIN, HLOŽEK, MARTIN, KLÍMA, ONDŘEJ
Publikováno v:
Anthropologie (1962-), 2022 Jan 01. 60(2), 379-402.
Externí odkaz:
https://www.jstor.org/stable/27199222
Autor:
Almeida, Jorge, Klíma, Ondrej
Publikováno v:
Publicatcons Matem\`atiques 67:1 (2023) 127-172
The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are countable, which are said to be locally countable. We also
Externí odkaz:
http://arxiv.org/abs/1909.04987
Autor:
Almeida, Jorge, Klíma, Ondřej
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Automata, Logic and Semantics (August 30, 2021) dmtcs:5460
We show that, with the exception of the words $a^2ba^2$ and $b^2ab^2$, all (finite or infinite) binary patterns in the Prouhet-Thue-Morse sequence can actually be found in that sequence as segments (up to exchange of letters in the infinite case). Th
Externí odkaz:
http://arxiv.org/abs/1904.07137
Autor:
Klíma, Ondřej
The thesis entitled "Project design for implementation of renovation workplace" deals with the project management tools applied to project of setting up a limited liability company that deals with the renovation of motorcycle veterans. To help the fu
Externí odkaz:
http://www.nusl.cz/ntk/nusl-430136
Autor:
Almeida, Jorge, Klíma, Ondřej
Publikováno v:
Results Math (2019) 74: 78
This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an order compa
Externí odkaz:
http://arxiv.org/abs/1810.09966
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.