Michal Kunc

From MaRDI portal
(Redirected from Person:443745)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Language equations2022-02-04Paper
Reversibility of computations in graph-walking automata
Information and Computation
2020-12-15Paper
The generalized rank of trace languages
International Journal of Foundations of Computer Science
2019-06-24Paper
The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
Forum Mathematicum
2018-05-09Paper
The generalized rank of trace languages2017-10-13Paper
On decidability of intermediate levels of concatenation hierarchies
Developments in Language Theory
2015-11-10Paper
Reversibility of computations in graph-walking automata
Mathematical Foundations of Computer Science 2013
2013-09-20Paper
State complexity of operations on two-way finite automata over a unary alphabet
Theoretical Computer Science
2012-08-13Paper
State Complexity of Union and Intersection for Two-way Nondeterministic Finite Automata
Fundamenta Informaticae
2011-11-22Paper
Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups
Developments in Language Theory
2011-07-29Paper
State complexity of operations on two-way deterministic finite automata over a unary alphabet
Descriptional Complexity of Formal Systems
2011-07-29Paper
Computational power of two stacks with restricted communication
Information and Computation
2010-10-07Paper
scientific article; zbMATH DE number 5605057 (Why is no real title available?)2009-09-19Paper
Algebraic Characterization of the Finite Power Property
Automata, Languages and Programming
2009-03-12Paper
The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable
Fundamentals of Computation Theory
2008-02-26Paper
Communication of Two Stacks and Rewriting
Automata, Languages and Programming
2007-09-11Paper
The power of commuting with finite sets of words
Theory of Computing Systems
2007-08-23Paper
Developments in Language Theory
Lecture Notes in Computer Science
2006-06-23Paper
Computing by commuting.
Theoretical Computer Science
2006-05-18Paper
Regular solutions of language inequalities and well quasi-orders
Theoretical Computer Science
2006-01-09Paper
STACS 2005
Lecture Notes in Computer Science
2005-12-02Paper
Automata, Languages and Programming
Lecture Notes in Computer Science
2005-08-24Paper
Undecidability of the trace coding problem and some decidable cases
Theoretical Computer Science
2004-10-27Paper
scientific article; zbMATH DE number 2051829 (Why is no real title available?)2004-03-07Paper
scientific article; zbMATH DE number 2051829 (Why is no real title available?)2004-03-07Paper
scientific article; zbMATH DE number 1756015 (Why is no real title available?)2002-06-16Paper
scientific article; zbMATH DE number 1522662 (Why is no real title available?)2001-08-26Paper


Research outcomes over time


This page was built for person: Michal Kunc