scientific article; zbMATH DE number 1123898

MaRDI QIDQ4378254zbMATH OpenFDO

Authors Siniša Crvenković, Igor Dolinka

Publication date 4 March 1998

zbMATH Keywords

recursively based varietiessolvable word problemsundecidable equational theoryvarieties

Mathematics Subject Classification ID

Word problems, etc. in computability and recursion theory (03D40) Word problems (aspects of algebraic structures) (08A50) Varieties (08B99)

Cited in

(12)

• A codicity undecidable problem in the plane.
• A variety with locally solvable but globally unsolvable word problem
• A decidable word problem without equivalent canonical term rewriting system
• scientific article; zbMATH DE number 1186371 (Why is no real title available?)
• THE WORD PROBLEM OF ACD-GROUND THEORIES IS UNDECIDABLE
• A Variety with Solvable, but not Uniformly Solvable, Word Problem
• scientific article; zbMATH DE number 1482197 (Why is no real title available?)
• scientific article; zbMATH DE number 1482215 (Why is no real title available?)
• scientific article; zbMATH DE number 1868880 (Why is no real title available?)
• scientific article; zbMATH DE number 871420 (Why is no real title available?)
• A finitely axiomatizable undecidable equational theory with recursively solvable word problems
• scientific article; zbMATH DE number 2208122 (Why is no real title available?)

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 Q4378254)