scientific article; zbMATH DE number 1836320

zbMath1021.20026MaRDI QIDQ4781986

Charles C. Sims

Publication date: 13 July 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finitely presented groupsrewriting systemsKnuth-Bendix procedure for strings

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Generators, relations, and presentations of groups (20F05) Grammars and rewriting systems (68Q42) Software, source code, etc. for problems pertaining to group theory (20-04)

This page was built for publication: