×

兹马思-数学第一资源

通过选择序列超越丘奇图灵的可计算性。(英语) Zbl公司 1452.03133
2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2018,英国牛津,2018年7月9-12日。纽约,纽约:计算机机械协会(ACM)。245-254(2018年)。
理学硕士:
03F50型 构造元数学系统
03B35型 证明和逻辑运算的机械化
03B38号 类型论
03天30分 可计算性与递归理论中的其它度与可约性
68V15型 定理证明(自动和交互式定理证明程序、演绎、解析等)
软件:
Nuprl公司
PDF格式 BibTeX公司 XML 引用
全文: 内政部