Michal Kunc

Available identifiers

zbMath Open kunc.michalDBLP82/3483WikidataQ20772594 ScholiaQ20772594MaRDI QIDQ443745

List of research outcomes

Publication	Date of Publication	Type
Language equations	2022-02-04	Paper
Reversibility of computations in graph-walking automata	2020-12-15	Paper
The Generalized Rank of Trace Languages	2019-06-24	Paper
The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages	2018-05-09	Paper
The generalized rank of trace languages	2017-10-13	Paper
On Decidability of Intermediate Levels of Concatenation Hierarchies	2015-11-10	Paper
Reversibility of Computations in Graph-Walking Automata	2013-09-20	Paper
State complexity of operations on two-way finite automata over a unary alphabet	2012-08-13	Paper
State Complexity of Union and Intersection for Two-way Nondeterministic Finite Automata	2011-11-22	Paper
Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups	2011-07-29	Paper
State Complexity of Operations on Two-Way Deterministic Finite Automata over a Unary Alphabet	2011-07-29	Paper
Computational power of two stacks with restricted communication	2010-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q3396551	2009-09-19	Paper
Algebraic Characterization of the Finite Power Property	2009-03-12	Paper
The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable	2008-02-26	Paper
Communication of Two Stacks and Rewriting	2007-09-11	Paper
The power of commuting with finite sets of words	2007-08-23	Paper
Developments in Language Theory	2006-06-23	Paper
Computing by commuting.	2006-05-18	Paper
Regular solutions of language inequalities and well quasi-orders	2006-01-09	Paper
STACS 2005	2005-12-02	Paper
Automata, Languages and Programming	2005-08-24	Paper
Undecidability of the trace coding problem and some decidable cases	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4453870	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4535801	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4510924	2001-08-26	Paper

Research outcomes over time

This page was built for person: Michal Kunc