| 完全稠密二叉偏序理论可量词消去的新证明 |
| |
| 引用本文： | 傅莺莺,沈复兴,吴茂念. 完全稠密二叉偏序理论可量词消去的新证明[J]. 北京师范大学学报(自然科学版), 2008, 44(2): 111-114 |
| |
| 作者姓名： | 傅莺莺 沈复兴 吴茂念 |
| |
| 作者单位： | 北京师范大学数学科学学院,100875,北京;北京工商大学数理系,100037,北京;北京师范大学数学科学学院,100875,北京;贵州大学计算机科学与技术学院,550025,贵阳 |
| |
| 摘 要： | 利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明.
|
| 关 键 词： | 量词消去 完全稠密二叉偏序 代数素模型 简单闭性质 |
| 修稿时间： | 2007-05-10 |
NEW PROOF FOR QUANTIFIER ELIMINATION OF COMPLETE DENSE BINARY ORDERS |
| |
| FU Yingying,SHEN Fuxing,WU Maonian. NEW PROOF FOR QUANTIFIER ELIMINATION OF COMPLETE DENSE BINARY ORDERS[J]. Journal of Beijing Normal University(Natural Science), 2008, 44(2): 111-114 |
| |
| Authors: | FU Yingying SHEN Fuxing WU Maonian |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
