中国科学院数学与系统科学研究院期刊网
有限集上偏序关系的符号计算
张升荣, 李永彬, 资俊伟, 骆孟煜
Symbolic Computation of Partial Orders on the Finite Set
ZHANG Shengrong, LI Yongbin, ZI Junwei, Luo Mengyu
系统科学与数学 . 2021, (12): 3342 -3350 .  DOI: 10.12341/jssms21437