搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2005 约格·布伦德尔 , Yatabe顺辅 :
迫使MAD家族坚不可摧。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 271-312 ( 2005 ) 马克斯·迪克曼 , 默里·马歇尔 , 弗朗西斯科·米拉利亚 :
格序约化特殊群。 Ann.纯粹应用。 日志。 132 ( 1 ) : 27-49 ( 2005 ) 鲁门·迪米特洛夫 , 瓦伦蒂娜·哈里扎诺夫 , 安德烈·莫罗佐夫 :
可计算刚性可计算向量空间中的依赖关系。 Ann.纯粹应用。 日志。 132 ( 1 ) : 97-108 ( 2005 ) 梅尔文配件 :
语义上的证明逻辑。 Ann.纯粹应用。 日志。 132 ( 1 ) : 1至25 ( 2005 ) 杰里·盖格曼 :
几何理论的稳定性。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 313-326 ( 2005 ) 埃文·格里菲斯 :
完全有丝分裂c.e.度和非跳跃反转。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 181-207 ( 2005 ) 彼得·赫特林 :
可计算实数上的Banach-Mazur可计算但非Markov可计算函数。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 227-246 ( 2005 ) Benedetto Intrigila公司 , 理查德·斯塔特曼 :
关于lambda演算中可拓性的一些结果。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 109-125 ( 2005 ) 艾丽斯·勒布 :
(弱)Fan定理的等价物。 Ann.纯粹应用。 日志。 132 ( 1 ) : 51-66 ( 2005 ) 罗伯特·卢巴斯基 :
建设性采埃孚的独立性。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 209-225 ( 2005 ) 尼克·皮特菲尔德 , 鲍里斯·齐尔伯 :
分析Zariski结构和Hrushovski结构。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 127-180 ( 2005 ) 罗曼·温塞尔 :
布尔代数的弱消元。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 247-270 ( 2005 ) 鲍里斯·齐尔伯 :
特征为零的代数闭域上的伪指数化。 Ann.纯粹应用。 日志。 132 ( 1 ) : 67-95 ( 2005 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)