`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:

### Wrote 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.