- On the Toggling-Branching Recurrence of Computability Logic
- 点击次数：
- 所属单位：计算机科学与技术学院
- 发表刊物：Journal of comoputer science and technology
- 第一作者：朱大铭
- 论文类型：基础研究
- 论文编号：lw-190140
- 卷号：28
- 期号：2
- 页面范围：278
- 是否译文：否
- 发表时间：2013-02-01
教授
性别：男
在职信息： 在职
所在单位： 计算机科学与技术学院
入职时间： 1990-07-01