BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
1 × Spain
1 × Taiwan
2 × Canada
2 × France
2 × Hungary
Collaborated with:
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 DBLP: Pol=aacute=k:Libor

Contributed to:

DLT 20132013
DLT 20122012
DLT 20102010
AFL 20082008
CIAA 20082010
DLT 20082008
DLT 20082010
LATA 20082008
CIAA 20042004
DLT 20032003
CIAA 20022002

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.
Literally idempotent languages and their varieties — two letter case (OK, LP), pp. 220–231.
Literally Idempotent Languages and their Varieties — Two Letter Case (OK, LP), pp. 761–780.
Hierarchies of Piecewise Testable Languages (OK, LP), pp. 479–490.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.