default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLibor Polák
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2020
[j11]Ondrej Klíma, Libor Polák:
Forbidden Patterns for Ordered Automata. J. Autom. Lang. Comb. 25(2-3): 141-169 (2020)- 2019
- [j10]Ondrej Klíma, Libor Polák:
Syntactic structures of regular languages. Theor. Comput. Sci. 800: 125-141 (2019) - 2012
- [j9]Ondrej Klíma, Libor Polák:
On biautomata. RAIRO Theor. Informatics Appl. 46(4): 573-592 (2012) - 2011
- [j8]Ondrej Klíma, Libor Polák:
Subhierarchies of the Second Level in the Straubing-THéRien Hierarchy. Int. J. Algebra Comput. 21(7): 1195-1215 (2011) - 2010
- [j7]Ondrej Klíma, Libor Polák:
Hierarchies of Piecewise Testable Languages. Int. J. Found. Comput. Sci. 21(4): 517-533 (2010) - [j6]Ondrej Klíma, Libor Polák:
Literally Idempotent Languages and their Varieties - Two Letter Case. Int. J. Found. Comput. Sci. 21(5): 761-780 (2010) - 2008
- [j5]Ondrej Klíma, Libor Polák:
On Varieties of Literally Idempotent Languages. RAIRO Theor. Informatics Appl. 42(3): 583-598 (2008) - [j4]Ondrej Klíma, Libor Polák:
On varieties of meet automata. Theor. Comput. Sci. 407(1-3): 278-289 (2008) - 2007
- [j3]Libor Polák:
Remarks on Multiple Entry Deterministic Finite Automata. J. Autom. Lang. Comb. 12(1-2): 279-288 (2007) - 2006
- [j2]Libor Polák:
Small Conjunctive Varieties of Regular Languages. Acta Cybern. 17(4): 825-841 (2006) - 2005
- [j1]Libor Polák:
Minimalizations of NFA using the universal automaton. Int. J. Found. Comput. Sci. 16(5): 999-1010 (2005)
Conference and Workshop Papers
- 2019
- [c20]Ondrej Klíma, Libor Polák:
On Varieties of Ordered Automata. LATA 2019: 108-120 - 2018
- [c19]Ondrej Klíma, Libor Polák:
Forbidden patterns for ordered automata. NCMA 2018: 99-115 - 2013
- [c18]Ondrej Klíma, Libor Polák:
Alternative Automata Characterization of Piecewise Testable Languages. Developments in Language Theory 2013: 289-300 - 2012
- [c17]Ondrej Klíma, Libor Polák:
Biautomata for k-Piecewise Testable Languages. Developments in Language Theory 2012: 344-355 - 2011
- [c16]Ondrej Klíma, Libor Polák:
Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups. Algebraic Foundations in Computer Science 2011: 214-227 - [c15]Ondrej Klíma, Miroslav Korbelár, Libor Polák:
Rewriting in Varieties of Idempotent Semigroups. CAI 2011: 185-200 - [c14]Ondrej Klíma, Libor Polák:
On Biautomata. NCMA 2011: 153-164 - 2010
- [c13]Ondrej Klíma, Libor Polák:
On Schützenberger Products of Semirings. Developments in Language Theory 2010: 279-290 - [c12]Ondrej Klíma, Libor Polák:
Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties. DCFS 2010: 130-138 - 2009
- [c11]Ondrej Klíma, Libor Polák:
Polynomial Operators on Classes of Regular Languages. CAI 2009: 260-277 - 2008
- [c10]Ondrej Klíma, Libor Polák:
Literally idempotent languages and their varieties - two letter case. AFL 2008: 220-231 - [c9]Ondrej Klíma, Libor Polák:
Hierarchies of Piecewise Testable Languages. Developments in Language Theory 2008: 479-490 - [c8]Ondrej Klíma, Libor Polák:
Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups. LATA 2008: 299-310 - 2005
- [c7]Libor Polák:
Remarks on Multiple Entry Deterministic Finite Automata. DCFS 2005: 261-268 - 2004
- [c6]Libor Polák:
Minimalizations of NFA Using the Universal Automaton. DCFS 2004: 238-249 - [c5]Libor Polák:
On Pseudovarieties of Semiring Homomorphisms. MFCS 2004: 635-647 - [c4]Libor Polák:
Minimalizations of NFA Using the Universal Automaton. CIAA 2004: 325-326 - 2003
- [c3]Libor Polák:
Syntactic Semiring and Universal Automaton. Developments in Language Theory 2003: 411-422 - 2002
- [c2]Libor Polák:
Syntactic Semiring and Language Equations. CIAA 2002: 182-193 - 2001
- [c1]Libor Polák:
Syntactic Semiring of a Language. MFCS 2001: 611-620
Informal and Other Publications
- 2017
- [i2]Ondrej Klíma, Libor Polák:
On Varieties of Ordered Automata. CoRR abs/1712.08455 (2017) - 2016
- [i1]Ondrej Klíma, Libor Polák:
Syntactic Structures of Regular Languages. CoRR abs/1612.06247 (2016)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
