Titlebook: Recursion Theory Week; Proceedings of a Con Klaus Ambos-Spies,Gert H. Müller,Gerald E. Sacks Conference proceedings 1990 Springer-Verlag Be

转变

书目名称Recursion Theory Week影响因子(影响力)




书目名称Recursion Theory Week影响因子(影响力)学科排名




书目名称Recursion Theory Week网络公开度




书目名称Recursion Theory Week网络公开度学科排名




书目名称Recursion Theory Week被引频次




书目名称Recursion Theory Week被引频次学科排名




书目名称Recursion Theory Week年度引用




书目名称Recursion Theory Week年度引用学科排名




书目名称Recursion Theory Week读者反馈




书目名称Recursion Theory Week读者反馈学科排名

沙文主义

成绩上升

Saline

0075-8434 the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.978-3-540-52772-5978-3-540-47142-4Series ISSN 0075-8434 Series E-ISSN 1617-9692

不遵守

WAX

https://doi.org/10.1007/BFb0086109complexity; complexity theory; computability; computability theory; proof; turing degree

escalate

领巾

Priority arguments using iterated trees of strategies,A general framework for priority arguments in classical recursion theory, using iterated trees of strategies, is introduced and used to present new proofs of four fundamental theorems of recursion theory.

BOAST

大笑