Pages that link to "Item:Q4955722"

The following pages link to A finitely axiomatizable undecidable equational theory with recursively solvable word problems (Q4955722):

Displaying 3 items.

• Many-sorted and single-sorted algebras (Q353361) (← links)
• Applying, extending, and specializing pseudorecursiveness (Q598283) (← links)
• PSEUDORECURSIVE VARIETIES OF SEMIGROUPS — II (Q2909488) (← links)