Publication:4041566
From MaRDI portal
zbMath0291.02033MaRDI QIDQ4041566
Publication date: 1974
20M05: Free semigroups, generators and relations, word problems
03B25: Decidability of theories and sets of sentences
Related Items
On equations in free semigroups with certain constraints on their solutions., Positive theories of free inverse semigroups