Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two
From MaRDI portal
Publication:1582961
DOI10.1007/BF02686241zbMath0970.03038OpenAlexW2074395181MaRDI QIDQ1582961
Publication date: 17 May 2001
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02686241
Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35)
Related Items (1)
Cites Work
This page was built for publication: Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two