搜索结果: 1-1 共查到“计算机科学技术 Journal of the ACM”相关记录1条 . 查询时间(0.781 秒)
在最近一期的Journal of the ACM （JACM）上，计算机科学与工程系BASICS实验室的陈翌佳教授与德国弗莱堡大学数学系的Joerg Flum教授合作发表了题为“From almost optimal algorithms to logics for complexity classes via listings and a halting problem”（ Volume 59 ...