- On the Toggling-Branching Recurrence of Computability Logic
- 点击次数：
- 所属单位：计算机科学与技术学院
- 发表刊物：JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
- 第一作者：栾峻峰
- 论文编号：lw-148567
- 卷号：28
- 期号：2
- 页面范围：278
- 字数：10
- 是否译文：否
- 发表时间：2013-03-12
教授
性别：男
在职信息： 在职
所在单位： 计算机科学与技术学院
入职时间： 1990-07-01