Hongxuan Lei

According to our database, Hongxuan Lei authored at least 4 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

两类量子游走组成的非确定型量子程序的终止验证 (Verification of Termination for Nondeterministic Quantum Programs Constituted by Two Kinds of Quantum Walks).

Hongxuan Lei

计算机科学, 2015

2012

Possibilistic Kripke Structure Decision Processes.

Yan Xue, Hongxuan Lei, Yongming Li

Proceedings of the Quantitative Logic and Soft Computing, 2012

Level Soft Sets based on fuzzy Sets.

Feng Feng, Yongming Li, Hongxuan Lei

Proceedings of the Quantitative Logic and Soft Computing, 2012

2007

Minimization of states in automata theory based on finite lattice-ordered monoids.

Hongxuan Lei, Yongming Li

Inf. Sci., 2007