scientific article; zbMATH DE number 4134122

MaRDI QIDQ3035355zbMATH OpenFDO

Authors John Pedersen

Publication date 1988

zbMATH Keywords

completion-based solutions to word problems in varietiesdecision problemsfree productsLISP programoperation tables of the n-generator free algebrasvariety of universal algebras

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to general algebraic systems (08-04) Word problems (aspects of algebraic structures) (08A50) Free algebras (08B20)

Recommendations

• A Variety with Solvable, but not Uniformly Solvable, Word Problem
• Efficient solution of the word problem in slim varieties
• The Word Problem for Free Lattice-Ordered Groups (and Some Other Free Algebras)
• scientific article; zbMATH DE number 871420
• scientific article; zbMATH DE number 3999904

Cited in

(5)

• Efficient solution of the word problem in slim varieties
• Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1
• scientific article; zbMATH DE number 3978368 (Why is no real title available?)
• scientific article; zbMATH DE number 4123793 (Why is no real title available?)
• Semigroups satisfying x m+n = x n

This page was built for publication:

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