Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference7 articles.
1. Adyan, I.: Algorithmic unsolvability of problems of recognition of certain properties of groups. Dokl. Akad. Nauk SSSR (N.S.) 103, 533–535 (1955) (Russian)
2. Adyan, S.I.: Unsolvability of some algorithmic problems in the theory of groups. Trudy Moskov. Math. Obsc. 6, 231–298 (1957) (Russian)
3. Day, A., Herrmann, C., Wille, R.: On modular lattices with four generators. Algebra Univ. 2, 317–323 (1972)
4. Herrmann, C., Tsukamoto, Y., Ziegler, M.: On the consistency problem for modular lattices and related structures. Int. J. Algebra Comput. 26, 1573–1595 (2016)
5. Rabin, M.O.: Recursive unsolvability of group theoretic problems. Ann. Math. 67, 172–194 (1958)