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)

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