Hongxuan Lei

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 0

Top Topics

Triangular Norms

Decision Process

Membership Degrees

Top Venues

计算机科学

Publications

Hongxuan Lei
两类量子游走组成的非确定型量子程序的终止验证 (Verification of Termination for Nondeterministic Quantum Programs Constituted by Two Kinds of Quantum Walks). 计算机科学 42 (7) (2015)
Feng Feng, Yongming Li, Hongxuan Lei
Level Soft Sets based on fuzzy Sets. QLSC (2012)
Yan Xue, Hongxuan Lei, Yongming Li
Possibilistic Kripke Structure Decision Processes. QLSC (2012)
Hongxuan Lei, Yongming Li
Minimization of states in automata theory based on finite lattice-ordered monoids. Inf. Sci. 177 (6) (2007)