• Click:

Current position: Home  >  Research  >  Paper Publications

Paper Publications

Xingxing He*, Yang Xu, Jun Liu: Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. ISKE 2015: 18-20

Translation or Not:no

Pre One:Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: On the characterizations of fuzzy XNOR connectives. J. Intell. Fuzzy Syst. 32(3): 2733-2745 (2017)

Next One:Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: A unified algorithm for finding k -IESFs in linguistic truth-valued lattice-valued propositional logic. Soft Comput. 18(11): 2135-2147 (2014)

Xingxing He

Alma Mater:Southwest Jiaotong University School/Department:数学学院 Business Address:Intelligent Control Development Center, Southwest Jiaotong University,Chengdu 610031, Sichuan, PR China

The Last Update Time:--

Copyright © 2019 Southwest Jiaotong University.All Rights Reserved . ICP reserve 05026985
Address：999 Xi'an Road, Pidu District, Chengdu, Sichuan, China
 Chuangongnet Anbei 510602000061
Technical support: Office of Information Technology and network management