×

zbMATH — the first resource for mathematics

Das Problem der Lösbarkeit von Gleichungen in einer freien Halbgruppe. (Russian) Zbl 0371.20047

MSC:
20M05 Free semigroups, generators and relations, word problems
68W99 Algorithms in computer science
03B25 Decidability of theories and sets of sentences
PDF BibTeX XML Cite