Pages that link to "Item:Q3269139"

The following pages link to On the algorithmic insolvability of the word problem in group theory (Q3269139):

Displaying 22 items.

• Linearly bounded conjugator property for mapping class groups (Q352117) (← links)
• Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of \(\mathbb Q\) (Q393224) (← links)
• Compressed word problems in HNN-extensions and amalgamated products (Q639849) (← links)
• Algorithmically finite groups. (Q640937) (← links)
• Complexity classes of equivalence problems revisited (Q716333) (← links)
• Digital topological method for computing genus and the Betti numbers (Q977455) (← links)
• A recursive presentation for Mihailova's subgroup. (Q990726) (← links)
• Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
• Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II (Q1067006) (← links)
• The word and generator problems for lattices (Q1105626) (← links)
• Every finitely generated submonoid of a free monoid has a finite Malcev's presentation (Q1123270) (← links)
• Presentations et presentations simplifiables d'un monoide simplifiable (Q1160756) (← links)
• Decidability and independence of conjugacy problems in finitely presented monoids (Q1637219) (← links)
• On equational theories, unification, and (un)decidability (Q1825184) (← links)
• Compression techniques in group theory (Q2117795) (← links)
• The minimal genus of homology classes in a finite 2-complex (Q2172195) (← links)
• Groups finitely presented in Burnside varieties (Q2193231) (← links)
• Twisted conjugacy in Houghton's groups (Q2401720) (← links)
• Inverse monoids: decidability and complexity of algebraic questions. (Q2643082) (← links)
• Can you compute the operator norm? (Q2930634) (← links)
• Parallel Identity Testing for Skew Circuits with Big Powers and Applications (Q2946414) (← links)
• Efficient simplicial replacement of semialgebraic sets (Q6103446) (← links)