Travelled to:1 × Greece
1 × United Kingdom
2 × Finland
4 × Italy
Collaborated with:∅ A.Okhotin J.Karhumäki J.Almeida J.Bartonová O.Klíma
Talks about:languag (3) inequ (2) finit (2) two (2) determinist (1) transform (1) semigroup (1) intermedi (1) hierarchi (1) character (1)
Person: Michal Kunc
DBLP: Kunc:Michal
Contributed to:
201520112007
20062006200520042001Wrote 8 papers:
- DLT-2015-AlmeidaBKK #decidability #on the
- On Decidability of Intermediate Levels of Concatenation Hierarchies (JA, JB, OK, MK), pp. 58–70.
- DLT-2011-KuncO #automaton #finite #using
- Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups (MK, AO), pp. 324–336.
- DLT-2007-Kunc #equation #question #what
- What Do We Know About Language Equations? (MK), pp. 23–27.
- ICALP-v1-2006-Kunc #algebra #finite
- Algebraic Characterization of the Finite Power Property (MK), pp. 120–131.
- ICALP-v2-2006-KarhumakiKO #communication
- Communication of Two Stacks and Rewriting (JK, MK, AO), pp. 468–479.
- DLT-2005-Kunc #on the #set
- On Language Inequalities XK subset of LX (MK), pp. 327–337.
- ICALP-2004-Kunc
- Regular Solutions of Language Inequalities and Well Quasi-orders (MK), pp. 870–881.
- ICALP-2001-Kunc #decidability #problem
- The Trace Coding Problem Is Undecidable (MK), pp. 603–614.