3 citations · 8 across the 23 of their papers we have counts for
1 paper · 2 filters
Carl-Fredrik Nyberg-Brodda
We give an introduction to the ideas behind G. S. Tseytin's 1958 construction of a seven-relation semigroup with undecidable word problem. We give a history of the ideas leading up…