许文艳
最后更新时间:..
点击次数:
所属单位:数学与统计学院
发表刊物:Ruan Jian Xue Bao/Journal of Software
第一作者:Xu, Wen-Yan
论文编号:EI 20154101350193
卷号:26
期号:9
页面范围:2278-2285
是否译文:否
发表时间:2015-01-01
收录刊物:EI
上一条:A cirquent calculus system with clustering and ranking
下一条:The parallel versus branching recurrences in computability logic