Publication:4263827
From MaRDI portal
zbMath1114.20304MaRDI QIDQ4263827
Publication date: 1 December 1999
finitely generated groups; generating sets; finitely presented groups; computable functions; defining relations; length functions; recursively enumerable sets; Higman theorem; isomorphic embeddings
20E07: Subgroup theorems; subgroup growth
20F05: Generators, relations, and presentations of groups
20F65: Geometric group theory
05C25: Graphs and abstract algebra (groups, rings, fields, etc.)
20F06: Cancellation theory of groups; application of van Kampen diagrams