QUANTIFIER ELIMINATION FOR MODULES AND ORDERED GROUPS

被引:0
作者
FLEISCHER, I [1 ]
机构
[1] UNIV MONTREAL,CTR RECH MATH,MONTREAL,QUEBEC,CANADA
来源
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES | 1976年 / 24卷 / 01期
关键词
D O I
暂无
中图分类号
P1 [天文学];
学科分类号
0704 ;
摘要
引用
收藏
页码:9 / 15
页数:7
相关论文
共 7 条