A bit of mathematics

Language Equations
Slides from my talk at Highlights of AutoMathA 2010.
Structure of Finite Semigroups and Language Equations
Slides from my course at School on Algebraic Theory of Automata 2008.
The simplest language where equivalence of finite substitutions is undecidable
In proceedings of FCT 2007.
Slides from my talk.
Communication of two stacks and rewriting (with Juhani Karhumäki and Alexander Okhotin)
In proceedings of ICALP 2006.
Algebraic characterization of the finite power property
Manuscript (last update 29.4.2006).
Extended abstract in proceedings of ICALP 2006; slides from my talk.
Computing by commuting (with Juhani Karhumäki and Alexander Okhotin)
Theoretical Computer Science 356(1-2), 200-211, 2006.
Simple language equations (a survey)
Bulletin of the European Association for Theoretical Computer Science EATCS 85, 81-102, 2005.
Largest solutions of left-linear language inequalities
Manuscript (last update 27.4.2005).
Slides from my talk on AFL 2005.
On language inequalities XK ⊆ LX
In proceedings of DLT 2005.
Slides from my talk.
The power of commuting with finite sets of words
Theory of Computing Systems 40(4), 521-551, 2007.
Extended abstract in proceedings of STACS 2005; slides from my talk.
Regular solutions of language inequalities and well quasi-orders
Theoretical Computer Science 348(2-3), 277-293, 2005.
Extended abstract in proceedings of ICALP 2004; slides from my talk.
Deciding existence of trace codings (PhD thesis): ps, pdf.
abstract: ps, pdf.
Undecidability of the trace coding problem and some decidable cases
Theoretical Computer Science 310, 393-456, 2004.
Slides from my talk on ICALP 2001.
Equational description of pseudovarieties of homomorphisms
Theoretical Informatics and Applications 37, 243-254, 2003.
Slides from my talk on Algebraic Theory of Automata and Logic workshop.
Free partially commutative semigroups in band varieties
In Proc. AAA 58, Contributions to General Algebra 12, Verlag Johannes Heyn, Klagenfurt, 257-268, 2000.
(any reprints available on e-mail request)

Back to my homepage
e-mail: kunc@math.muni.cz