Positive theories of free monoids
From MaRDI portal
Publication:1320694
DOI10.1007/BF02260878zbMath0829.20082MaRDI QIDQ1320694
Publication date: 18 May 1994
Published in: Algebra and Logic (Search for Journal in Brave)
Free semigroups, generators and relations, word problems (20M05) Decidability of theories and sets of sentences (03B25)
Related Items (2)
On equations in free monoids and semigroups with restrictions on solutions ⋮ The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable
Cites Work
This page was built for publication: Positive theories of free monoids