The Knuth-Bendix procedure for strings as a substitute for coset enumeration
type: Item
instance of: scholarly article
title: The Knuth-Bendix procedure for strings as a substitute for coset enumeration
zbMATH Open document ID: 0785.20022
DOI: 10.1016/S0747-7171(08)80096-X
author: Charles C. Sims
published in: Journal of Symbolic Computation
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20-04
zbMATH DE Number: 60658
zbMATH Keywords: Knuth-Bendix procedure
zbMATH Keywords: coset enumeration
zbMATH Keywords: finitely presented group
MaRDI profile type: Publication
cites work: Presentations of groups and monoids
cites work: A Finitely Generated Infinite Simple Group
cites work: Estimating the Efficiency of Backtrack Programs
cites work: Q5581665
cites work: Q3338229
cites work: Q3950713
cites work: A practical method for enumerating cosets of a finite abstract group
full work available at URL: s0747-7171(08)80096-x
OpenAlex ID: W2048836603
description: scientific article; zbMATH DE number 60658