Pages that link to "Item:Q4487602"
From MaRDI portal
The following pages link to On the Decidability of Iterated Semidirect Products with Applications to Complexity (Q4487602):
Displayed 44 items.
- Closures of regular languages for profinite topologies. (Q467504) (← links)
- Tameness of pseudovariety joins involving R. (Q814806) (← links)
- Pointlike sets and separation: a personal perspective (Q832918) (← links)
- An automata-theoretic approach to the word problem for \(\omega\)-terms over R (Q868948) (← links)
- On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties. (Q1421252) (← links)
- Towards a pseudoequational proof theory (Q1729826) (← links)
- The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages (Q1748357) (← links)
- Algebraic tools for the concatenation product. (Q1853747) (← links)
- The word problem for \(\kappa \)-terms over the pseudovariety of local groups (Q1982578) (← links)
- Every decidable pseudovariety of abelian groups is completely tame (Q2003184) (← links)
- Profinite topologies (Q2074218) (← links)
- Recognizing pro-\(\mathrm{R}\) closures of regular languages (Q2171905) (← links)
- Reducibility of pointlike problems (Q2362748) (← links)
- Iterated periodicity over finite aperiodic semigroups (Q2434750) (← links)
- Pointlike sets for varieties determined by groups (Q2631933) (← links)
- Finite state automata: A geometric approach (Q2716145) (← links)
- The pseudoidentity problem and reducibility for completely regular semigroups (Q2730741) (← links)
- Dynamics of implicit operations and tameness of pseudovarieties of groups (Q2750958) (← links)
- McCammond’s normal forms for free aperiodic semigroups revisited (Q2940603) (← links)
- On κ-reducibility of pseudovarieties of the form V ∗D (Q2973338) (← links)
- Complete κ-reducibility of pseudovarieties of the form DRH (Q2986657) (← links)
- Reducibility of Joins Involving Some Locally Trivial Pseudovarieties (Q3158327) (← links)
- COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1 (Q3636027) (← links)
- The geometry of profinite graphs with applications to free groups and finite monoids (Q4433117) (← links)
- Some reducibility properties for pseudovarieties of the form <i>DRH</i> (Q4567814) (← links)
- TAMENESS OF THE PSEUDOVARIETY <b>LS1</b> (Q4658703) (← links)
- ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS (Q4786248) (← links)
- INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY (Q4786270) (← links)
- NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS (Q4786300) (← links)
- PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS (Q4786301) (← links)
- ON THE HYPERDECIDABILITY OF PSEUDOVARIETIES OF GROUPS (Q4786305) (← links)
- PROFINITE METHODS IN SEMIGROUP THEORY (Q4786315) (← links)
- COMBINATORIAL GROUP THEORY, INVERSE MONOIDS, AUTOMATA, AND GLOBAL SEMIGROUP THEORY (Q4786316) (← links)
- Tameness of Some Locally Trivial Pseudovarieties (Q4803342) (← links)
- TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES (Q4902679) (← links)
- The pseudovariety of all nilpotent groups is tame (Q5237445) (← links)
- SOLVABLE MONOIDS WITH COMMUTING IDEMPOTENTS (Q5316311) (← links)
- An effective lower bound for group complexity of finite semigroups and automata (Q5389413) (← links)
- TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS (Q5461668) (← links)
- Relative Abelian kernels of some classes of transformation monoids (Q5480145) (← links)
- SUBWORD COMPLEXITY OF PROFINITE WORDS AND SUBGROUPS OF FREE PROFINITE SEMIGROUPS (Q5483459) (← links)
- Free profinite locally idempotent and locally commutative semigroups (Q5946464) (← links)
- On the equation \({\mathbf V}*{\mathbf G}={\mathcal E}{\mathbf V}\) (Q5956869) (← links)
- Semidirect product with an order-computable pseudovariety and tameness. (Q5962327) (← links)