Ondrej Klima
AuthID: R-006-DVC
11
TÃTULO: The omega-inequality problem for concatenation hierarchies of star-free languages PDF Full Text
AUTORES: Jorge Almeida ; Ondrej Klima; Michal Kunc;
PUBLICAÇÃO: 2018, FONTE: FORUM MATHEMATICUM, VOLUME: 30, NÚMERO: 3
AUTORES: Jorge Almeida ; Ondrej Klima; Michal Kunc;
PUBLICAÇÃO: 2018, FONTE: FORUM MATHEMATICUM, VOLUME: 30, NÚMERO: 3
12
TÃTULO: Towards a pseudoequational proof theory
AUTORES: Jorge Almeida ; Ondrej Klima;
PUBLICAÇÃO: 2018, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 75, NÚMERO: 2
AUTORES: Jorge Almeida ; Ondrej Klima;
PUBLICAÇÃO: 2018, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 75, NÚMERO: 2
13
TÃTULO: On the irreducibility of pseudovarieties of semigroups Full Text
AUTORES: Almedia, J ; Klima, O;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 220, NÚMERO: 4
AUTORES: Almedia, J ; Klima, O;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 220, NÚMERO: 4
14
TÃTULO: Reducibility vs. definability for pseudovarieties of semigroups Full Text
AUTORES: Almeida, J ; Klima, O;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 26, NÚMERO: 7
AUTORES: Almeida, J ; Klima, O;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 26, NÚMERO: 7
15
TÃTULO: On fixed points of the lower set operator Full Text
AUTORES: Almeida, J ; Cano, A; Klima, O; E Pin;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 25, NÚMERO: 1-2
AUTORES: Almeida, J ; Cano, A; Klima, O; E Pin;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 25, NÚMERO: 1-2
16
TÃTULO: On Decidability of Intermediate Levels of Concatenation Hierarchies
AUTORES: Jorge Almeida ; Jana Bartonova; Ondrej Klima; Michal Kunc;
PUBLICAÇÃO: 2015, FONTE: 19th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), VOLUME: 9168
AUTORES: Jorge Almeida ; Jana Bartonova; Ondrej Klima; Michal Kunc;
PUBLICAÇÃO: 2015, FONTE: 19th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015), VOLUME: 9168
17
TÃTULO: New decidable upper bound of the second level in the Straubing-Therien concatenation hierarchy of star-free languages Full Text
AUTORES: Jorge Almeida ; Ondrej Klima;
PUBLICAÇÃO: 2010, FONTE: DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, VOLUME: 12, NÚMERO: 4
AUTORES: Jorge Almeida ; Ondrej Klima;
PUBLICAÇÃO: 2010, FONTE: DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, VOLUME: 12, NÚMERO: 4
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP18
TÃTULO: A counterexample to a conjecture concerning concatenation hierarchies Full Text
AUTORES: Jorge Almeida ; Ondrej Klima;
PUBLICAÇÃO: 2009, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 110, NÚMERO: 1
AUTORES: Jorge Almeida ; Ondrej Klima;
PUBLICAÇÃO: 2009, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 110, NÚMERO: 1
