代数素模型相关硕士博士期刊学术论文 - 信丰网

代数素模型相关论文

完全稠密二叉偏序理论可量词消去的新证明

利用理论的代数素模型和简单闭性质，给出了完全稠密二叉偏序理论可量词消去的新的简短的证明．......

期刊

量词消去完全稠密二叉偏序代数素模型简单闭性质 quantifier elimination complete dense binary order alg

看过本文同时还关注