The following pages link to THE WORD PROBLEM (Q3259071):
Displayed 22 items.
- The word problem for some uncountable groups given by countable words (Q409486) (← links)
- Groups, graphs, languages, automata, games and second-order monadic logic (Q444388) (← links)
- A notion of effectiveness for subshifts on finitely generated groups (Q501655) (← links)
- Levels of undecidability in rewriting (Q627134) (← links)
- Real computational universality: the word problem for a class of groups with infinite presentation (Q734136) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Følner functions and the generic word problem for finitely generated amenable groups (Q1663531) (← links)
- Well-orders realized by C.E. equivalence relations (Q2104248) (← links)
- Partial word and equality problems and Banach densities (Q2180889) (← links)
- Using computability to measure complexity of algebraic structures and classes of structures (Q2263109) (← links)
- A generalization of a power-conjugacy problem in torsion-free negatively curved groups (Q2289393) (← links)
- Conjugacy search problem and the Andrews-Curtis conjecture (Q2305693) (← links)
- MIX is a 2-MCFL and the word problem in \(\mathbb{Z}^2\) is captured by the IO and the OI hierarchies (Q2353402) (← links)
- Computer proof of monotonicity of operations on orthomodular lattices (Q2446438) (← links)
- On the Computable Theory of Bounded Analytic Functions (Q2866157) (← links)
- Finding bases of uncountable free abelian groups is usually difficult (Q4608785) (← links)
- Orbit Computation for Atomically Generated Subgroups of Isometries of $\mathbb{Z}^n$ (Q4959127) (← links)
- The B B Newman spelling theorem (Q5163868) (← links)
- Search problems in groups and branching processes (Q5252307) (← links)
- On one-relator groups and units of special one-relation inverse monoids (Q5877774) (← links)
- Constructive geometrization of Thurston maps and decidability of Thurston equivalence (Q5964205) (← links)
- The classification of surfaces via normal curves (Q6161752) (← links)