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