BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kunc:Michal

Contributed to:

DLT 20152015
DLT 20112011
DLT 20072007
ICALP (1) 20062006
ICALP (2) 20062006
DLT 20052005
ICALP 20042004
ICALP 20012001

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.