✦ LIBER ✦

The Representation of Many-One Degrees by Decision Problems of Turing Machines

✍ Scribed by Overbeek, R.

Book ID: 120102580
Publisher: Oxford University Press
Year: 1973
Tongue: English
Weight: 317 KB
Volume: s3-26
Category: Article
ISSN: 0024-6115
DOI: 10.1112/plms/s3-26.1.167

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Representation of One-One Degrees by n-C

Representation of One-One Degrees by n-Cylindrical Decision Problems

✍ M. B. Thuraisingham 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 517 KB

REPRESENTATION OF ONE-ONE DEGREES BY n-CYLINDRICAL DEClSION PROBLEMS by M. B. THURAISINGHAM in Minneapolis, Minnesota (U.S.A.) \* \* \* t xn} E \* j ( g 1 , $ 2 , \* ., xn) ~p \* 31 Ztsohr. f. math. Logik

Representation of one-one degrees by dec

Representation of one-one degrees by decision problems for system functions

✍ M.B. Thuraisingham 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 242 KB

The Representation of Many--One Degrees

The Representation of Many--One Degrees by the Word Problem for Thue Systems

✍ Overbeek, R. 📂 Article 📅 1973 🏛 Oxford University Press 🌐 English ⚖ 169 KB

Formalization of the class of problems s

Formalization of the class of problems solvable by a nondeterministic turing machine

✍ A. D. Plotnikov 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 665 KB

The Halting Problem of one State Turing

The Halting Problem of one State Turing Machines with n-Dimensional Tape

✍ G. T. Herman 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 389 KB

Turing machines with linear alternation,

Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories

✍ Hugo Volger 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 467 KB