Strong Computability and Variants of the Uniform Halting Problem

Mathematical Logic Quarterly 17 (1):115-131 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19710170117

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Strong Computability and Variants of the Uniform Halting Problem.Gabor T. Herman - 1971 - Mathematical Logic Quarterly 17 (1):115-131.
Quantificational variants on the halting problem for turing machines.Patrick C. Fischer - 1969 - Mathematical Logic Quarterly 15 (13-15):211-218.
Some Remarks on Uniform Halting Problems.Stephen L. Bloom - 1971 - Mathematical Logic Quarterly 17 (1):281-284.
Some Remarks on Uniform Halting Problems.Stephen L. Bloom - 1971 - Mathematical Logic Quarterly 17 (1):281-284.
The Halting Problem of one State Turing Machines with n‐Dimensional Tape.G. T. Herman - 1968 - Mathematical Logic Quarterly 14 (7‐12):185-191.
The Halting Problem of one State Turing Machines with n‐Dimensional Tape.G. T. Herman - 1968 - Mathematical Logic Quarterly 14 (7-12):185-191.
Machines Over the Reals and Non‐Uniformity.Felipe Cucker - 1997 - Mathematical Logic Quarterly 43 (2):143-157.
Spectra and halting problems.Louise Hay - 1975 - Mathematical Logic Quarterly 21 (1):167-176.
Relativized Halting Problems.Alan L. Selman - 1974 - Mathematical Logic Quarterly 20 (13-18):193-198.
Metrization of the Uniform Space and Effective Convergence.Y. Tsujii, T. Mori & M. Yasugi - 2002 - Mathematical Logic Quarterly 48 (S1):123-130.

Analytics

Added to PP
2013-11-24

Downloads
4 (#1,644,260)

6 months
25 (#118,899)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
A simple solution of the uniform halting problem.Gabor T. Herman - 1969 - Journal of Symbolic Logic 34 (4):639-640.

Add more references