文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
J. Myhill
发表
Effective operations on partial recursive functions
John C. Shepherdson, J. Shepherdson, J. Myhill, 1955 .
A note on indicator-functions
J. Myhill, J. Myhill, 1973 .