The following pages link to Alexei G. Myasnikov (Q639687):
Displayed 50 items.
- FOLDINGS, GRAPHS OF GROUPS AND THE MEMBERSHIP PROBLEM (Q4680583) (← links)
- UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS (Q4692087) (← links)
- (Q4750853) (← links)
- (Q4781979) (← links)
- MALNORMAL SUBGROUPS OF FREE GROUPS (Q4792623) (← links)
- CSA-groups and separated free constructions (Q4856668) (← links)
- GROUP EXTENSIONS OVER INFINITE WORDS (Q4902890) (← links)
- DEFINABLE SETS IN A HYPERBOLIC GROUP (Q4916248) (← links)
- ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS (Q4916963) (← links)
- The word and geodesic problems in free solvable groups (Q4930015) (← links)
- (Q4942268) (← links)
- (Q4942269) (← links)
- (Q4946210) (← links)
- Centroids of groups (Q4952412) (← links)
- Low-complexity computations for nilpotent subgroup problems (Q4968234) (← links)
- <i>ω</i>-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS (Q4977229) (← links)
- Diophantine problems in solvable groups (Q4997864) (← links)
- 3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group (Q5011031) (← links)
- 4 Rich groups, weak second-order logic, and applications (Q5011032) (← links)
- Hierarchy for groups acting on hyperbolic ℤn-spaces (Q5021463) (← links)
- The Diophantine problem in the classical matrix groups (Q5033989) (← links)
- Parallel complexity for nilpotent groups (Q5084295) (← links)
- TC^0 circuits for algorithmic problems in nilpotent groups (Q5111237) (← links)
- The Diophantine problem in some metabelian groups (Q5113678) (← links)
- Explicit universal axioms for Kaplansky groups (Q5115828) (← links)
- Solving Word Problems in Group Extensions over Infinite Words (Q5199964) (← links)
- ON POSITIVE THEORIES OF GROUPS WITH REGULAR FREE LENGTH FUNCTIONS (Q5292262) (← links)
- Pattern recognition and minimal words in free groups of rank 2 (Q5314953) (← links)
- (Q5371234) (← links)
- GENERIC COMPLEXITY OF THE CONJUGACY PROBLEM IN HNN-EXTENSIONS AND ALGORITHMIC STRATIFICATION OF MILLER'S GROUPS (Q5386949) (← links)
- Finitely presented expansions of groups, semigroups, and algebras (Q5401728) (← links)
- Tame Automorphisms of Elementary Free Groups (Q5417984) (← links)
- Exponential extensions of groups (Q5444873) (← links)
- A Practical Attack on a Braid Group Based Cryptographic Protocol (Q5451020) (← links)
- (Q5488871) (← links)
- FULLY RESIDUALLY FREE GROUPS AND GRAPHS LABELED BY INFINITE WORDS (Q5493858) (← links)
- (Q5702491) (← links)
- (Q5702493) (← links)
- (Q5702494) (← links)
- Geodesic rewriting systems and pregroups (Q5748110) (← links)
- Regular sets and counting in free groups (Q5748111) (← links)
- Equations and fully residually free groups (Q5748115) (← links)
- Public Key Cryptography - PKC 2006 (Q5898951) (← links)
- Generic types and generic elements in divisible rigid groups (Q6138061) (← links)
- (Q6181466) (← links)
- Varieties of exponential \(R\)-groups (Q6199355) (← links)
- Groups acting freely on $\Lambda$-trees (Q6216151) (← links)
- Quantifier elimination algorithm to boolean combination of $\exists\forall$-formulas in the theory of a free group (Q6234234) (← links)
- Regular completions of $\mathbb{Z}^n$-free groups (Q6235185) (← links)
- Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group (Q6240072) (← links)