Results 1 -
2 of
2
Decision problems in group theory
- Proc. London Math. Soc
, 1982
"... At the 1976 Oxford Conference, Aanderaa introduced a new class of machines which he called F machines (later renamed as modular machines). Using these he gave two remarkably short and easy examples of finitely presented groups with unsolvable word problem. Both of these examples, together with an ex ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
At the 1976 Oxford Conference, Aanderaa introduced a new class of machines which he called F machines (later renamed as modular machines). Using these he gave two remarkably short and easy examples of finitely presented groups with unsolvable word problem. Both of these examples, together with an exposition of modular
