Travelled to:
1 × Japan
1 × Spain
1 × Taiwan
2 × Canada
2 × France
2 × Hungary
Collaborated with:
O.Klíma ∅
Talks about:
languag (8) piecewis (4) testabl (4) varieti (3) semir (3) liter (3) hierarchi (2) automaton (2) univers (2) syntact (2)
Person: Libor Polák
DBLP: Pol=aacute=k:Libor
Contributed to:
Wrote 11 papers:
- DLT-2013-KlimaP #automaton
- Alternative Automata Characterization of Piecewise Testable Languages (OK, LP), pp. 289–300.
- DLT-2012-KlimaP #automaton
- Biautomata for k-Piecewise Testable Languages (OK, LP), pp. 344–355.
- DLT-2010-KlimaP #on the
- On Schützenberger Products of Semirings (OK, LP), pp. 279–290.
- AFL-2008-KlimaP
- Literally idempotent languages and their varieties — two letter case (OK, LP), pp. 220–231.
- AFL-J-2008-KlimaP10a
- Literally Idempotent Languages and their Varieties — Two Letter Case (OK, LP), pp. 761–780.
- DLT-2008-KlimaP
- Hierarchies of Piecewise Testable Languages (OK, LP), pp. 479–490.
- DLT-J-2008-KlimaP10
- Hierarchies of Piecewise Testable Languages (OK, LP), pp. 517–533.
- LATA-2008-KlimaP #morphism
- Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups (OK, LP), pp. 299–310.
- CIAA-2004-Polak #automaton #nondeterminism #using
- Minimalizations of NFA Using the Universal Automaton (LP), pp. 325–326.
- DLT-2003-Polak #automaton
- Syntactic Semiring and Universal Automaton (LP), pp. 411–422.
- CIAA-2002-Polak #equation
- Syntactic Semiring and Language Equations (LP), pp. 182–193.