可量词消去的树形偏序理论的分类

傅莺莺, 沈复兴

The Classification of All Quantifier-Eliminable Treelike Partial Orderings with a Least Element

Ying Ying FU, Fu Xing SHEN

数学学报 . 2014, (6): 1171 -1180 . DOI: 10.12386/A2014sxxb0107