|国家科技期刊平台
| 注册
首页|期刊导航|北京师范大学学报（自然科学版）|完全稠密二叉偏序理论的量词消去(Ⅰ)

完全稠密二叉偏序理论的量词消去(Ⅰ)

陈磊 沈复兴

北京师范大学学报（自然科学版）2008，Vol.44Issue(6)：568-572,5.
✕
北京师范大学学报（自然科学版）2008，Vol.44Issue(6)：568-572,5.

完全稠密二叉偏序理论的量词消去(Ⅰ)

THE QUANTIFIER ELIMINATION OF DENSE BINARY ORDERS THEORY (Ⅰ)

陈磊 1沈复兴2

作者信息

  • 1. 北京师范大学哲学与社会学学院价值与文化研究中心,100875,北京
  • 2. 北京师范大学信息科学与技术学院,100875,北京
  • 折叠

摘要

关键词

量词消去/完全稠密二叉偏序/基本公式/同类公式

分类

数理科学

引用本文复制引用

陈磊,沈复兴..完全稠密二叉偏序理论的量词消去(Ⅰ)[J].北京师范大学学报（自然科学版）,2008,44(6):568-572,5.

基金项目

北京师范大学青年教师基金资助项目 （）

北京师范大学学报（自然科学版）

OA北大核心CSCDCSTPCD

0476-0301

访问量0
|
下载量0
段落导航相关论文