Xuefeng Wen
发表
Xuefeng Wen,
Hu Liu,
Fan Huang,
2011,
LORI.
Xuefeng Wen,
Hu Liu,
Yuan Ren,
2013,
J. Appl. Log..
Xuefeng Wen,
2019,
ArXiv.
Xuefeng Wen,
Xuefeng Wen,
2019,
WoLLIC.
Xuefeng Wen,
Yaqun He,
Yuemin Zhao,
2005,
Proceedings of the 2005 IEEE International Symposium on Electronics and the Environment, 2005..
Xuefeng Wen,
Hu Liu,
Hu Liu,
2013,
LORI.
Xuefeng Wen,
2007,
Stud Logica.
Xuefeng Wen,
Hu Liu,
Hu Liu,
2012,
The Review of Symbolic Logic.
Xuefeng Wen,
Shier Ju,
Yongfeng Yuan,
2015,
J. Log. Comput..
Xuefeng Wen,
Xuefeng Wen,
2015
.
Xuefeng Wen,
Shier Ju,
2011,
Synthese.
Xuefeng Wen,
Shier Ju,
Shier Ju,
2008,
Stud Logica.
Xuefeng Wen,
Yuemin Zhao,
Chenlong Duan,
2005,
Proceedings of the 2005 IEEE International Symposium on Electronics and the Environment, 2005..
Xuefeng Wen,
Xuefeng Wen,
2017,
Synthese.