Publication:3708771
From MaRDI portal
zbMath0584.03005MaRDI QIDQ3708771
Publication date: 1985
Full work available at URL: https://eudml.org/doc/62636
20M05: Free semigroups, generators and relations, word problems
03B25: Decidability of theories and sets of sentences
Related Items
On one-relator groups and units of special one-relation inverse monoids, On equations and first-order theory of one-relator monoids, Equations over free inverse monoids with idempotent variables, Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups