|
|||||
|
|
| 可量词消去的带根节点的树理论 | |
| 作者单位： | ;1.北京工商大学理学院;2.北京师范大学信息科学与技术学院 |
| 摘 要： | 讨论了带根节点r的有向树、无向树理论的量词消去性质,找到决定理论量词消去的三类特殊公式,并给出了在语言■_0={E,r}(E为有向边或无向边)及添加二元距离关系D_(n,n)w所得膨胀语言下,可量词消去的这两类理论的完全分类. |
| 关 键 词： | 量词消去 有向树 无向树 |
The Classification of All Quantifier-Eliminable Directed or Undirected Trees with a Root |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |