An efficient algorithm for constructing the basis of a subgroup of a free group
From MaRDI portal
Publication:4744453
DOI10.1007/BF01068987zbMath0507.20002MaRDI QIDQ4744453
No author found.
Publication date: 1981
Published in: Cybernetics (Search for Journal in Brave)
Generators, relations, and presentations of groups (20F05) Specification and verification (program logics, model checking, etc.) (68Q60) Free nonabelian groups (20E05) Software, source code, etc. for problems pertaining to group theory (20-04) Algorithms in computer science (68W99)
Related Items (1)
This page was built for publication: An efficient algorithm for constructing the basis of a subgroup of a free group