2021年3月8日
5 - 计算理论前沿 -- Advanced Topics in Computability Theory
摘要： Recursion theorem + logical theories + Turing reducibility + descriptive complexity Source: CoCo lecture, UCPH, DIKU, 2021; Introduction to the theory 阅读全文
posted @ 2021-03-08 09:40 romaLzhih 阅读(113) 评论(0) 推荐(0) 编辑