doc. Mgr. Michal Kunc, Ph.D.

2005

• Regular solutions of language inequalities and well quasi-orders

  KUNC Michal

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2005, ročník: 348, vydání: 2-3

• Simple language equations

  KUNC Michal

  Článek v odborném periodiku

  Bulletin of the European Association for Theoretical Computer Science EATCS, rok: 2005, ročník: 85, vydání: February

• The power of commuting with finite sets of words

  KUNC Michal

  Článek ve sborníku

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

2004

• Regular solutions of language inequalities and well quasi-orders

  KUNC Michal

  Článek ve sborníku

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

• Undecidability of the trace coding problem and some decidable cases

  KUNC Michal

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2004, ročník: 310, vydání: 1-3

2003

• Equational description of pseudovarieties of homomorphisms

  KUNC Michal

  Článek v odborném periodiku

  RAIRO - Theoretical Informatics and Applications, rok: 2003, ročník: 37, vydání: 3

2001

• The trace coding problem is undecidable (extended abstract)

  KUNC Michal

  Článek ve sborníku

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

2000

• Free partially commutative semigroups in band varieties

  KUNC Michal

  Článek ve sborníku

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