Infinite complete group presentations
type: Item
instance of: scholarly article
title: Infinite complete group presentations
zbMATH Open document ID: 0862.20025
DOI: 10.1016/0022-4049(95)00108-5
author: Roger E. Needham
published in: Journal of Pure and Applied Algebra
publication date: 1997-05-27T00:00:00Z
Mathematics Subject Classification ID: 20F10
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20M05
zbMATH DE Number: 896572
zbMATH Keywords: Knuth-Bendix procedure
zbMATH Keywords: equational term rewriting
zbMATH Keywords: infinite complete presentations
zbMATH Keywords: efficient solutions
zbMATH Keywords: word problem
zbMATH Keywords: normal forms
zbMATH Keywords: complete rewrite systems
MaRDI profile type: Publication
full work available at URL: 0022-4049(95)00108-5
OpenAlex ID: W1995094274
cites work: Q4012140
cites work: Completion for rewriting modulo a congruence
cites work: Systems of reductions
cites work: Q4012139
cites work: Q3805960
cites work: Proving termination with multiset orderings
cites work: Q4003861
cites work: The use of Knuth-Bendix methods to solve the word problem in automatic groups
cites work: Presentations of groups and monoids
cites work: Q3223037
cites work: Rewriting systems of Coxeter groups
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: Q3883561
cites work: A catalogue of complete group presentations
cites work: Infinite regular Thue systems
cites work: Word problems and a homological finiteness condition for monoids
cites work: A Finitely Presented Group Whose 3-Dimensional Integral Homology is not Finitely Generated
description: scientific article; zbMATH DE number 896572