Relativized Halting Problems
- 1 January 1974
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 20 (13-18) , 193-198
- https://doi.org/10.1002/malq.19740201302
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Sets of Formulas Valid in Finite StructuresTransactions of the American Mathematical Society, 1973
- Sets of formulas valid in finite structuresTransactions of the American Mathematical Society, 1973
- On Degrees of UnsolvabilityAnnals of Mathematics, 1959
- A criterion for completeness of degrees of unsolvabilityThe Journal of Symbolic Logic, 1957