scientific article; zbMATH DE number 1482215

MaRDI QIDQ4492883zbMATH OpenFDO

Authors Siniša Crvenković, Igor Dolinka

Publication date 27 July 2000

Full work available at URL https://eudml.org/doc/226363

zbMATH Keywords

decidabilityword problemequational theoryrecursively based semigroup variety

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Word problems (aspects of algebraic structures) (08A50) Word problems, etc. in computability and recursion theory (03D40)

Cited in

(14)

• IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
• scientific article; zbMATH DE number 1482197 (Why is no real title available?)
• A Variety with Solvable, but not Uniformly Solvable, Word Problem
• Algebras defined by equations
• scientific article; zbMATH DE number 3287732 (Why is no real title available?)
• A decidable word problem without equivalent canonical term rewriting system
• Solving the Caesar problem without categorical sortals
• A codicity undecidable problem in the plane.
• Undecidability of the word problem for Yamamura's HNN-extension under nice conditions.
• On locally finite varieties with undecidable equational theory.
• The word problem in varieties of semigroups, rings, and Lie algebras
• scientific article; zbMATH DE number 1522669 (Why is no real title available?)
• scientific article; zbMATH DE number 1868880 (Why is no real title available?)
• A finitely axiomatizable undecidable equational theory with recursively solvable word problems

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