scientific article
From MaRDI portal
Publication:3869335
zbMath0432.03023MaRDI QIDQ3869335
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Word problems, etc. in computability and recursion theory (03D40) Thue and Post systems, etc. (03D03)
Related Items
New decision algorithms for finitely presented commutative semigroups ⋮ The complexity of the word problems for commutative semigroups and polynomial ideals