可量词消去的带根节点的树理论

傅莺莺, 沈复兴

The Classification of All Quantifier-Eliminable Directed or Undirected Trees with a Root

Ying Ying FU, Fu Xing SHEN

数学学报 . 2015, (4): 691 -704 . DOI: 10.12386/A2015sxxb0071