scientific article
From MaRDI portal
Publication:3699681
zbMath0578.03024MaRDI QIDQ3699681
Publication date: 1982
Full work available at URL: https://eudml.org/doc/62135
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35)
Related Items
On some algorithmic problems for groups and monoids ⋮ Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup ⋮ Unnamed Item ⋮ Algebraic and logical aspects of unification ⋮ On ``simple undecidable fragments of the positive theory of a free semigroup ⋮ Undecidability of ground reducibility for word rewriting systems with variables ⋮ On equations and first-order theory of one-relator monoids ⋮ Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two ⋮ The existential theory of equations with rational constraints in free groups is PSPACE-complete ⋮ \(\forall \exists^{5}\)-equational theory of context unification is undecidable ⋮ Positive theories of free monoids
This page was built for publication:
