Ma Ying-cang

Predicate formal system based on 0-level universal AND operator and its soundness

Ma Ying-cang, 2011 .

Algebraic property of rough implication based on interval structure

Ma Ying-cang, Xue Zhan-ao, He Hua-can, 2004 .

Character recognition based on adaptive genetic neural network

Ma Ying-cang, 2008 .