The following pages link to (Q4515867):
Displaying 21 items.
- Divisibility problem for one relator monoids (Q557910) (← links)
- Algorithmically finite groups. (Q640937) (← links)
- Average-case complexity and decision problems in group theory. (Q703812) (← links)
- Generic-case complexity, decision problems in group theory, and random walks. (Q1399190) (← links)
- Gröbner-Shirshov bases for extended modular, extended Hecke, and Picard groups. (Q1946424) (← links)
- The word problem for one-relation monoids: a survey (Q1982573) (← links)
- A Gröbner-Shirshov basis over a special type of braid monoids (Q2129809) (← links)
- Unrecognizability of manifolds (Q2498916) (← links)
- Groups with periodic defining relations. (Q2517978) (← links)
- Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two (Q2676823) (← links)
- Computational complexity of the word problem in modal and Heyting algebras with a small number of generators (Q2678341) (← links)
- What Is Essential Unification? (Q3305325) (← links)
- Complete rewriting system for the Schützenberger product of n groups (Q4621410) (← links)
- (Q5150520) (← links)
- Word problem for special braid groups (Q5150993) (← links)
- Gröbner–Shirshov bases for congruence classes of complex reflection groups (Q5237404) (← links)
- (Q5239566) (← links)
- (Q5239606) (← links)
- A solution of the word problem for braid groups via the complex reflection group G12 (Q5865615) (← links)
- Undecidability of the submonoid membership problem for free nilpotent group of class $l\geqslant 2$ of sufficiently large rank (Q6085106) (← links)
- Generic complexity of the word problem in some semigroups (Q6148012) (← links)
