Efficient solution of the word problem in slim varieties

DOI10.1007/BF01188181MaRDI QIDQ1315326zbMATH OpenFDO

Authors John Pedersen

Publication date 16 January 1995

Published in Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

word problemcritical pairKnuth-Bendix procedureconfluence-completion methodcritical computability

Mathematics Subject Classification ID

Free algebras (08B20) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Word problems (aspects of algebraic structures) (08A50)

Recommendations

• A Variety with Solvable, but not Uniformly Solvable, Word Problem
• scientific article; zbMATH DE number 3999904
• Publication:3035355
• scientific article; zbMATH DE number 1868880

Cites work

• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 3999904 (Why is no real title available?)
• scientific article; zbMATH DE number 3216273 (Why is no real title available?)
• scientific article; zbMATH DE number 3065870 (Why is no real title available?)
• A Decision Problem for Transformations of Trees
• An algebra has a solvable word problem if and only if it is embeddable in a finitely generated simple algebra
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• New decision algorithms for finitely presented commutative semigroups
• On theories with a combinatorial definition of 'equivalence'
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• The Word Problem for Free Lattice-Ordered Groups (and Some Other Free Algebras)
• The lattice of semigroup varieties

Cited in

(3)

• Slim groupoids
• scientific article; zbMATH DE number 4134122 (Why is no real title available?)
• The word problem for groups with regular relations. Improvement of the Knuth-Bendix algorithm

This page was built for publication: Efficient solution of the word problem in slim varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1315326)