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