Pages that link to "Item:Q4008756"
From MaRDI portal
The following pages link to Undecidability of the identity problem for finite semigroups (Q4008756):
Displaying 32 items.
- Tameness of pseudovariety joins involving R. (Q814806) (← links)
- Pointlike sets and separation: a personal perspective (Q832918) (← links)
- On equational theories of classes of finite rings (Q1307160) (← links)
- The \(\kappa\)-word problem over \(\mathsf{DRH}\) (Q1676315) (← links)
- The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups (Q1891654) (← links)
- Every decidable pseudovariety of abelian groups is completely tame (Q2003184) (← links)
- Varieties (Q2074217) (← links)
- Profinite topologies (Q2074218) (← links)
- Recognizing pro-\(\mathrm{R}\) closures of regular languages (Q2171905) (← links)
- John Rhodes and the theory of finite semigroups. (Q2447219) (← links)
- Finite state automata: A geometric approach (Q2716145) (← links)
- On the atoms of algebraic lattices arising in 𝔮-theory (Q2986656) (← links)
- Complete κ-reducibility of pseudovarieties of the form DRH (Q2986657) (← links)
- On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids (Q3126014) (← links)
- Reducibility of Joins Involving Some Locally Trivial Pseudovarieties (Q3158327) (← links)
- ON THE DECIDABILITY OF MEMBERSHIP IN THE GLOBAL OF A MONOID PSEUDOVARIETY (Q3561118) (← links)
- COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1 (Q3636027) (← links)
- On the hyperdecidability of semidirect products of pseudovarieties (Q4224014) (← links)
- The pseudovariety $J$ is hyperdecidable (Q4385676) (← links)
- PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS (Q4513292) (← links)
- HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS (Q4513299) (← links)
- POINTLIKE SETS, HYPERDECIDABILITY AND THE IDENTITY PROBLEM FOR FINITE SEMIGROUPS (Q4513300) (← links)
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS (Q4513305) (← links)
- Some reducibility properties for pseudovarieties of the form <i>DRH</i> (Q4567814) (← links)
- TAMENESS OF THE PSEUDOVARIETY <b>LS1</b> (Q4658703) (← links)
- On Pointlike Sets and Joins of Pseudovarieties (Q4704548) (← 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)
- PROFINITE METHODS IN SEMIGROUP THEORY (Q4786315) (← links)
- Tameness of Some Locally Trivial Pseudovarieties (Q4803342) (← links)
- TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES (Q4902679) (← links)
- Representations of relatively free profinite semigroups, irreducibility, and order primitivity (Q5217888) (← links)