Pages that link to "Item:Q1192222"
From MaRDI portal
The following pages link to The use of Knuth-Bendix methods to solve the word problem in automatic groups (Q1192222):
Displaying 21 items.
- Efficiency issues in the KBMAG procedure (Q649584) (← links)
- Some experiments with a completion theorem prover (Q1186705) (← links)
- Automatic semigroups (Q1589444) (← links)
- Regular Gröbner bases (Q1599541) (← links)
- Infinite complete group presentations (Q1916428) (← links)
- Commensurating HNN extensions: nonpositive curvature and biautomaticity (Q2048460) (← links)
- Experiments on growth series of braid groups (Q2153341) (← links)
- Automatic quotients of free groups. (Q2570182) (← links)
- GROWTH SERIES FOR ARTIN GROUPS OF DIHEDRAL TYPE (Q3430312) (← links)
- Detecting Negative Curvature in Groups Via Local Conditions (Q4318331) (← links)
- Growth Functions and Automatic Groups (Q4347270) (← links)
- Theorem proving with group presentations: Examples and questions (Q4647534) (← links)
- Automatic Groups Associated with Word Orders Other than Shortlex (Q4704557) (← links)
- KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES (Q4786262) (← links)
- An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite (Q4891316) (← links)
- ON CERTAIN PAIRS OF NON-ENGEL ELEMENTS IN FINITE GROUPS (Q4923184) (← links)
- Biautomatic structures in systolic Artin groups (Q4994446) (← links)
- The Development of the Theory of Automatic Groups (Q5055450) (← links)
- Some relations on prefix reversal generators of the symmetric and hyperoctahedral group (Q5109076) (← links)
- Search problems in groups and branching processes (Q5252307) (← links)
- PATCH graphs: an efficient data structure for completion of finitely presented groups (Q6560376) (← links)
