Publisher
Cambridge University Press (CUP)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Witnessability of Undecidable Problems;Proceedings of the ACM on Programming Languages;2023-01-09
2. Bibliography;Studies in Logic and the Foundations of Mathematics;1992
3. A Recursion-theoretic View of Axiomatizable Theories;dialectica;1970-12
4. Representability of recursively enumerable sets in formal theories;Archiv für Mathematische Logik und Grundlagenforschung;1961-03
5. Undecidability and recursive inseparability;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1958