搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2007 乌里·亚伯拉罕 , 詹姆斯·加明斯 , 克利福德·D·史密斯 :
多色拉姆齐理论的一些结果。 J.塞姆。 日志。 72 ( 三 ) : 865-896 ( 2007 ) 克里斯托弗·P·阿尔菲尔德 :
∏的梅德韦杰夫格中的非分枝度 0 1 类。 J.塞姆。 日志。 72 ( 1 ) : 81-97 ( 2007 ) 詹姆斯·安德鲁斯 :
带有Y组合子的非类型化高阶逻辑。 J.塞姆。 日志。 72 ( 4 ) : 1385-1404 ( 2007 ) 谢尔盖·N·阿特莫夫 , 罗莎莉·伊姆霍夫 :
证明的基本直觉逻辑。 J.塞姆。 日志。 72 ( 2 ) : 439-451 ( 2007 ) 弗兰兹·巴德 , 西尔维奥·吉拉尔迪 :
将许多分类的理论联系起来。 J.塞姆。 日志。 72 ( 2 ) : 535-583 ( 2007 ) 西尔维娅·巴比纳 , 杜加尔·麦克弗森 :
同质关系结构的重建。 J.塞姆。 日志。 72 ( 三 ) : 792-802 ( 2007 ) 安德烈亚斯·鲍迪施 , 阿马多·马丁·皮萨罗 , 马丁·齐格勒 :
红色的田野。 J.塞姆。 日志。 72 ( 1 ) : 207-225 ( 2007 ) 阿诺德·贝克曼 , 诺伯特·普赖宁 :
线性克里普克框架和哥德尔逻辑。 J.塞姆。 日志。 72 ( 1 ) : 26-44 ( 2007 ) 劳伦斯·彼得·贝卢斯 , 安东尼奥·迪·诺拉 :
MV-代数和逻辑中的简单结构。 J.塞姆。 日志。 72 ( 2 ) : 584-600 ( 2007 ) 亚历山德罗·贝拉杜奇 :
O-极小谱、无穷小子群和上同调。 J.塞姆。 日志。 72 ( 4 ) : 1177-1193 ( 2007 ) 亚历山德罗·贝拉杜奇 , 马里奥·埃德蒙多 , 玛格丽塔·奥特罗 :
勘误表:“o-极小拓扑的转移方法”。 J.塞姆。 日志。 72 ( 三 ) : 1079-1080 ( 2007 ) 道格拉斯·S·布里奇斯 , 汉内斯·迪纳 :
[0,1]的伪紧性等价于一致连续性定理。 J.塞姆。 日志。 72 ( 4 ) : 1379-1384 ( 2007 ) 詹妮弗·布朗 :
细胞性和伪树的结构。 J.塞姆。 日志。 72 ( 4 ) : 1093-1107 ( 2007 ) 约书亚·布雷什·奥彭海姆 , 托尼安·皮塔西 :
分辨率优化的复杂性。 J.塞姆。 日志。 72 ( 4 ) : 1336-1352 ( 2007 ) 韦斯利·卡尔弗特 , 叶卡捷琳娜·福基纳 , 谢尔盖·冈查洛夫 , 朱莉娅·奈特 , 奥列格·库迪诺夫 , 安德烈·莫罗佐夫 , 瓦迪姆·普扎伦科 :
高秩结构类的索引集。 J.塞姆。 日志。 72 ( 4 ) : 1418-1432 ( 2007 ) 陈一佳(音) , Jörg Flum公司 , 马丁·格罗 :
W的分析 * -层次结构。 J.塞姆。 日志。 72 ( 2 ) : 513-534 ( 2007 ) 奇泽姆 , 詹妮弗·查布 , 瓦伦蒂娜·哈里扎诺夫 , 丹尼斯·赫施费尔特 , 小卡尔·G·约克什。 , 蒂莫西·麦克尼科尔 , 莎拉·平瑞 :
Π 1 0 关系的类和强度谱。 J.塞姆。 日志。 72 ( 三 ) : 1003-1018 ( 2007 ) 奇泽姆 , 朱莉娅·奈特 , 萨拉·米勒 :
可计算嵌入和强极小理论。 J.塞姆。 日志。 72 ( 三 ) : 1031-1040 ( 2007 ) 赤达冲 , 梁羽 :
图灵度中的最大链。 J.塞姆。 日志。 72 ( 4 ) : 1219-1227 ( 2007 ) 约翰·克莱门斯 :
Borel自同构的分类。 J.塞姆。 日志。 72 ( 4 ) : 1081-1092 ( 2007 ) 史提芬·古克 , 扬·克拉切克 :
可证明性的后果 NP公司 ⊆ P/聚乙烯 . J.塞姆。 日志。 72 ( 4 ) : 1353-1371 ( 2007 ) 安德烈斯·科尔多恩·佛朗哥 , 弗朗西斯科·菲利克斯·拉拉·马汀 :
关于∑的注记 1 -最大模型。 J.塞姆。 日志。 72 ( 三 ) : 1072-1078 ( 2007 ) 乔瓦娜·科尔西 , 加布里埃尔·塔西 :
直觉主义逻辑摆脱了所有元规则。 J.塞姆。 日志。 72 ( 4 ) : 1204-1218 ( 2007 ) 芭芭拉·卡西玛 , 瓦伦蒂娜·哈里扎诺夫 , 丹尼斯·赫施费尔特 , 罗伯特·索尔 :
边界齐次模型。 J.塞姆。 日志。 72 ( 1 ) : 305-323 ( 2007 ) 芭芭拉·卡西玛 , 理查德·肖尔 :
沉淀时间可还原性排序。 J.塞姆。 日志。 72 ( 三 ) : 1055-1071 ( 2007 ) 莫尔·多龙 , 撒哈拉沙拉 :
可由无量词可定义操作构造的关系结构。 J.塞姆。 日志。 72 ( 4 ) : 1283-1298 ( 2007 ) 克利夫顿·F·埃利 , 阿尔夫·昂舒斯 :
以乐观的理论为特点。 J.塞姆。 日志。 72 ( 三 ) : 919-940 ( 2007 ) Pantelis E.Eleftheriou公司 , 谢尔盖·斯塔琴科 :
有序除环上有序向量空间中可定义的群。 J.塞姆。 日志。 72 ( 4 ) : 1108-1140 ( 2007 ) 埃尔维斯 :
有限结构的渐近类。 J.塞姆。 日志。 72 ( 2 ) : 418-438 ( 2007 ) 拉斐尔·菲利浦 , Reclaw Ireneusz公司 , 姆罗泽克·尼科德姆 , 彼得罗·苏卡 :
有界序列的理想收敛性。 J.塞姆。 日志。 72 ( 2 ) : 501-512 ( 2007 )