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

轉(zhuǎn)變

書目名稱Recursion Theory Week影響因子(影響力)




書目名稱Recursion Theory Week影響因子(影響力)學(xué)科排名




書目名稱Recursion Theory Week網(wǎng)絡(luò)公開度




書目名稱Recursion Theory Week網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Recursion Theory Week被引頻次




書目名稱Recursion Theory Week被引頻次學(xué)科排名




書目名稱Recursion Theory Week年度引用




書目名稱Recursion Theory Week年度引用學(xué)科排名




書目名稱Recursion Theory Week讀者反饋




書目名稱Recursion Theory Week讀者反饋學(xué)科排名

沙文主義

成績上升

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

領(lǐng)巾

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

大笑