转变 发表于 2025-3-21 20:04:57

书目名称Recursion Theory Week影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0824348<br><br>        <br><br>书目名称Recursion Theory Week影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0824348<br><br>        <br><br>书目名称Recursion Theory Week网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0824348<br><br>        <br><br>书目名称Recursion Theory Week网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0824348<br><br>        <br><br>书目名称Recursion Theory Week被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0824348<br><br>        <br><br>书目名称Recursion Theory Week被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0824348<br><br>        <br><br>书目名称Recursion Theory Week年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0824348<br><br>        <br><br>书目名称Recursion Theory Week年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0824348<br><br>        <br><br>书目名称Recursion Theory Week读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0824348<br><br>        <br><br>书目名称Recursion Theory Week读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0824348<br><br>        <br><br>

沙文主义 发表于 2025-3-21 22:23:24

http://reply.papertrans.cn/83/8244/824348/824348_2.png

成绩上升 发表于 2025-3-22 02:43:05

http://reply.papertrans.cn/83/8244/824348/824348_3.png

Saline 发表于 2025-3-22 07:42:27

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

不遵守 发表于 2025-3-22 12:34:38

http://reply.papertrans.cn/83/8244/824348/824348_5.png

WAX 发表于 2025-3-22 15:11:05

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

escalate 发表于 2025-3-22 17:42:30

http://reply.papertrans.cn/83/8244/824348/824348_7.png

领巾 发表于 2025-3-22 21:52:00

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 发表于 2025-3-23 02:16:15

http://reply.papertrans.cn/83/8244/824348/824348_9.png

大笑 发表于 2025-3-23 08:37:02

http://reply.papertrans.cn/83/8244/824348/824348_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Recursion Theory Week; Proceedings of a Con Klaus Ambos-Spies,Gert H. Müller,Gerald E. Sacks Conference proceedings 1990 Springer-Verlag Be