doc. Mgr. Ondřej Klíma, Ph.D.

2018

• Towards a pseudoequational proof theory

  ALMEIDA Jorge KLÍMA Ondřej

  Článek v odborném periodiku

  Portugaliae mathematica, rok: 2018, ročník: 75, vydání: 2, DOI

2016

• On the irreducibility of pseudovarieties of semigroups

  MENESES GUIMARÄES DE ALMEIDA Jorge Manuel KLÍMA Ondřej

  Článek v odborném periodiku

  Journal of Pure and Applied Algebra, rok: 2016, ročník: 220, vydání: 4, DOI

• Reducibility vs. definability for pseudovarieties of semigroups

  MENESES GUIMARÄES DE ALMEIDA Jorge Manuel KLÍMA Ondřej

  Článek v odborném periodiku

  International Journal of Algebra and Computation, rok: 2016, ročník: 26, vydání: 7, DOI

2015

• On decidability of intermediate levels of concatenation hierarchies

  MENESES GUIMARÄES DE ALMEIDA Jorge Manuel BARTOŇOVÁ Jana KLÍMA Ondřej KUNC Michal

  Článek ve sborníku

  Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings, rok: 2015

• On fixed points of the lower set operator

  ALMEIDA Jorge CANO Antonio KLÍMA Ondřej PIN Jean-Eric

  Článek v odborném periodiku

  International Journal of Algebra and Computation, rok: 2015, ročník: 25, vydání: 1-2, DOI

2014

• On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)

  KLÍMA Ondřej

  Článek ve sborníku

  Proceedings AFL 2014, rok: 2014

2013

• Alternative Automata Characterization of Piecewise Testable Languages

  KLÍMA Ondřej POLÁK Libor

  Článek ve sborníku

  Developments in Language Theory, rok: 2013

2012

• Biautomata for k-Piecewise Testable Languages

  KLÍMA Ondřej POLÁK Libor

  Článek ve sborníku

  Developments in Language Theory, rok: 2012

• Descriptional Complexity of Biautomata

  JIRÁSKOVÁ Galina KLÍMA Ondřej

  Článek ve sborníku

  Descriptional Complexity of Formal Systems, rok: 2012

• Identity checking problem for transformation monoids

  KLÍMA Ondřej

  Článek v odborném periodiku

  Semigroup Forum, rok: 2012, ročník: 84, vydání: 3, DOI