A decision problem for decision problems

DOI10.1007/BF02219647zbMath0231.02054MaRDI QIDQ2550382

Yuri Gurevich

Publication date: 1971

Published in: Algebra and Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

03D25: Recursively (computably) enumerable sets and degrees

Cites Work

• Unnamed Item