北京师范大学学报（自然科学版）2008，Vol.44Issue(2)：111-114,4.
完全稠密二叉偏序理论可量词消去的新证明
NEW PROOF FOR QUANTIFIER ELIMINATION OF COMPLETE DENSE BINARY ORDERS
摘要
关键词
量词消去/完全稠密二叉偏序/代数素模型/简单闭性质分类
数理科学引用本文复制引用
傅莺莺,沈复兴,吴茂念..完全稠密二叉偏序理论可量词消去的新证明[J].北京师范大学学报（自然科学版）,2008,44(2):111-114,4.基金项目
国家自然科学基金资助项目(60310213) （60310213）
