The MathNet Korea
Information Center for Mathematical Science

논문검색

Information Center for Mathematical Science

논문검색

Journal of Pure and Applied Algebra
( Vol. 110 NO.2 / (1996))
Infinite complete group presentations
Roger E. Needham,
Pages. 195-218
Abstract
Contents 1. Introduction
2. The completion procedure
3. The unification algorithm
4. Computational results
5. Countable generator
Key words
Mathmatical Subject Classification primary 20F10, secondary 68Q42