Login / Signup
Hongxuan Lei
Publication Activity (10 Years)
Years Active: 2007-2015
Publications (10 Years): 0
Top Topics
Triangular Norms
Decision Process
Fuzzy Sets
Membership Degrees
Top Venues
QLSC
计算机科学
</>
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)