1 bounding non-gl(2) and rea
来源:J SYMBOLIC LOGIC( P 0022-4812 E 1943-5886 ) 发表时间: 2009/09
类型:期刊论文 为本人加分:121.810540
2 Absolutely non-computable predicates and functions in analysis
来源:MATH STRUCT COMP SCI( P 0960-1295 E 1469-8072 ) 发表时间: 2009/02
类型:期刊论文,会议论文 为本人加分:97.626972
3 The complexity of variable minimal formulas
来源:CHINESE SCI BULL( P 1001-6538 E 1861-9541 ) 发表时间: 2010/06
类型:期刊论文 为本人加分:60.263625