doc. Mgr. Michal Kunc, Ph.D.

2005

• Regular solutions of language inequalities and well quasi-orders

  KUNC Michal

  Article in Periodical

  Theoretical Computer Science, year: 2005, volume: 348, edition: 2-3

• Simple language equations

  KUNC Michal

  Article in Periodical

  Bulletin of the European Association for Theoretical Computer Science EATCS, year: 2005, volume: 85, edition: February

• The power of commuting with finite sets of words

  KUNC Michal

  Article in Proceedings

  STACS 2005: 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings, year: 2005

2004

• Regular solutions of language inequalities and well quasi-orders

  KUNC Michal

  Article in Proceedings

  Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, year: 2004

• Undecidability of the trace coding problem and some decidable cases

  KUNC Michal

  Article in Periodical

  Theoretical Computer Science, year: 2004, volume: 310, edition: 1-3

2003

• Equational description of pseudovarieties of homomorphisms

  KUNC Michal

  Article in Periodical

  RAIRO - Theoretical Informatics and Applications, year: 2003, volume: 37, edition: 3

2001

• The trace coding problem is undecidable (extended abstract)

  KUNC Michal

  Article in Proceedings

  Automata, Languages and Programming : 28th International Colloquium, ICALP 2001, Proceedings, year: 2001

2000

• Free partially commutative semigroups in band varieties

  KUNC Michal

  Article in Proceedings

  Proceedings of 58th Workshop on General Algebra"58. Arbeitstagung Allgemeine Algebra", year: 2000