Libor Polák

According to our database, Libor Polák authored at least 24 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Forbidden Patterns for Ordered Automata.

Ondrej Klíma, Libor Polák

J. Autom. Lang. Comb., 2020

2019

Syntactic structures of regular languages.

Ondrej Klíma, Libor Polák

Theor. Comput. Sci., 2019

On Varieties of Ordered Automata.

Ondrej Klíma, Libor Polák

Proceedings of the Language and Automata Theory and Applications, 2019

2013

Alternative Automata Characterization of Piecewise Testable Languages.

Ondrej Klíma, Libor Polák

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

2012

On biautomata.

Ondrej Klíma, Libor Polák

RAIRO Theor. Informatics Appl., 2012

Biautomata for k-Piecewise Testable Languages.

Ondrej Klíma, Libor Polák

Proceedings of the Developments in Language Theory - 16th International Conference, 2012

2011

Subhierarchies of the Second Level in the Straubing-THéRien Hierarchy.

Ondrej Klíma, Libor Polák

Int. J. Algebra Comput., 2011

Rewriting in Varieties of Idempotent Semigroups.

Ondrej Klíma, Miroslav Korbelár, Libor Polák

Proceedings of the Algebraic Informatics - 4th International Conference, 2011

Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups.

Ondrej Klíma, Libor Polák

Proceedings of the Algebraic Foundations in Computer Science, 2011

2010

Literally Idempotent Languages and their Varieties - Two Letter Case.

Ondrej Klíma, Libor Polák

Int. J. Found. Comput. Sci., 2010

Hierarchies of Piecewise Testable Languages.

Ondrej Klíma, Libor Polák

Int. J. Found. Comput. Sci., 2010

Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties

Ondrej Klíma, Libor Polák

Proceedings of the Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, 2010

On Schützenberger Products of Semirings.

Ondrej Klíma, Libor Polák

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

2009

Polynomial Operators on Classes of Regular Languages.

Ondrej Klíma, Libor Polák

Proceedings of the Algebraic Informatics, Third International Conference, 2009

2008

On varieties of meet automata.

Ondrej Klíma, Libor Polák

Theor. Comput. Sci., 2008

On Varieties of Literally Idempotent Languages.

Ondrej Klíma, Libor Polák

RAIRO Theor. Informatics Appl., 2008

Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups.

Ondrej Klíma, Libor Polák

Proceedings of the Language and Automata Theory and Applications, 2008

2007

Remarks on Multiple Entry Deterministic Finite Automata.

Libor Polák

J. Autom. Lang. Comb., 2007

2006

Small Conjunctive Varieties of Regular Languages.

Libor Polák

Acta Cybern., 2006

2005

Minimalizations of NFA using the universal automaton.

Libor Polák

Int. J. Found. Comput. Sci., 2005

2004

On Pseudovarieties of Semiring Homomorphisms.

Libor Polák

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003

Syntactic Semiring and Universal Automaton.

Libor Polák

Proceedings of the Developments in Language Theory, 7th International Conference, 2003

2002

Syntactic Semiring and Language Equations.

Libor Polák

Proceedings of the Implementation and Application of Automata, 2002

2001

Syntactic Semiring of a Language.

Libor Polák

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001