Pages that link to "Item:Q4513305"

The following pages link to UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS (Q4513305):

Displaying 37 items.

• Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring (Q764364) (← links)
• Undecidable problems for completely 0-simple semigroups. (Q1025071) (← links)
• The undecidability of some equivalence problems concerning ngsm's and finite substitutions (Q1269922) (← links)
• The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups (Q1403857) (← links)
• Join decompositions of pseudovarieties involving semigroups with commuting idempotents (Q1602666) (← links)
• The \(\kappa\)-word problem over \(\mathsf{DRH}\) (Q1676315) (← 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)
• Relatively elementary definability of the class of universal graphic semiautomata in the class of semigroups (Q2112324) (← links)
• Elementary definability of the class of universal planar automata in the class of semigroups (Q2186314) (← links)
• Automaton semigroups and groups: on the undecidability of problems related to freeness and finiteness (Q2190041) (← links)
• John Rhodes and the theory of finite semigroups. (Q2447219) (← links)
• Pointlike sets with respect to R and J. (Q2463850) (← links)
• The pseudoidentity problem and reducibility for completely regular semigroups (Q2730741) (← links)
• Dynamics of implicit operations and tameness of pseudovarieties of groups (Q2750958) (← links)
• Pointlike reducibility of pseudovarieties of the form \(\mathbf V*\mathbf D\). (Q2799118) (← links)
• UNDECIDABILITY AND THE DEVELOPABILITY OF PERMUTOIDS AND RIGID PSEUDOGROUPS (Q2971054) (← 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)
• ON THE DECIDABILITY OF MEMBERSHIP IN THE GLOBAL OF A MONOID PSEUDOVARIETY (Q3561118) (← links)
• STABLE PAIRS (Q3561121) (← links)
• Representation theory of finite semigroups, semigroup radicals and formal language theory (Q3617621) (← links)
• COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1 (Q3636027) (← links)
• On the hyperdecidability of semidirect products of pseudovarieties (Q4224014) (← links)
• Some undecidable embedding problems for finite semigroups (Q4267548) (← links)
• Irreducibility of certain pseudovarieties¹ (Q4395729) (← links)
• (Q4453869) (← links)
• Some reducibility properties for pseudovarieties of the form <i>DRH</i> (Q4567814) (← links)
• TAMENESS OF THE PSEUDOVARIETY <b>LS1</b> (Q4658703) (← links)
• Potential Divisibility in Finite Semigroups is Undecidable (Q4704561) (← 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)
• Tameness of Some Locally Trivial Pseudovarieties (Q4803342) (← links)
• TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES (Q4902679) (← links)
• TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS (Q5461668) (← links)
• Semidirect product with an order-computable pseudovariety and tameness. (Q5962327) (← links)