搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2017 萨姆森·阿布拉姆斯基 , 维克托·温舍尔 :
无限对策中亚博弈完全均衡的无折扣协代数分析。 数学。 结构。 计算。 科学。 27 ( 5 ) : 751-761 ( 2017 ) 纳撒尼尔·L·阿克曼 , 卡梅隆·E·弗里尔 , 丹尼尔·罗伊 :
关于可计算性和分解。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1287-1314 ( 2017 ) 戴维德·安科纳 , 保拉·贾尼尼 , 埃琳娜·祖卡 :
键入安全的增量重新绑定。 数学。 结构。 计算。 科学。 27 ( 2 ) : 94-122 ( 2017 ) 马塞拉·安塞尔莫 , 多拉·贾马尔西 , 玛丽亚·马多尼亚 :
图片强前缀码的结构和性质。 数学。 结构。 计算。 科学。 27 ( 2 ) : 123-142 ( 2017 ) 费德里科·阿舍里 :
交互式实现中的构造性强制、CPS转换和见证提取。 数学。 结构。 计算。 科学。 27 ( 6 ) : 993-1031 ( 2017 ) 坦弗·阿塔尔 , 卡尔·巴顿 , 维德梅·布兰德 , 贾高 , 科斯塔斯·伊利奥普洛斯 , 刘畅(Chang Liu) , Solon P.Pissis公司 :
快速循环字典匹配算法。 数学。 结构。 计算。 科学。 27 ( 2 ) : 143-156 ( 2017 ) 丹妮拉·巴塔利诺 , 马蒂尔德·鲍维尔 , 安德烈亚·弗罗西尼 , 西蒙·里纳尔迪 :
具有排除子矩阵的置换类和多米诺类。 数学。 结构。 计算。 科学。 27 ( 2 ) : 157-183 ( 2017 ) 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 迪奥戈·波萨斯 , 约翰·V·塔克 :
使用测量消失量的预言进行计算。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1315-1363 ( 2017 ) 乌尔里希·伯杰 , 铁侯 :
对丘奇简单类型理论的可实现性解释。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1364-1385 ( 2017 ) 安东尼奥·贝尔尼尼 , 斯特凡诺·比洛塔 , 伦佐·平扎尼 , 文森特·瓦尼诺夫斯基 :
无交叉对偶集的格雷码。 数学。 结构。 计算。 科学。 27 ( 2 ) : 184-196 ( 2017 ) 维托里奥·比洛 , 安吉洛·法内利 , 卢卡·莫斯卡德利 :
拥挤博弈中的前瞻均衡。 数学。 结构。 计算。 科学。 27 ( 2 ) : 197-214 ( 2017 ) 斯特凡诺·比斯塔雷利 , 弗朗西斯科·桑蒂尼 :
关于将两个信任网络合并为一个具有两极偏好的网络。 数学。 结构。 计算。 科学。 27 ( 2 ) : 215-233 ( 2017 ) 萨拉·布鲁内蒂 , 根纳罗·科尔达斯科 , 埃琳娜·洛迪 , 路易斯·加加诺 , 沃尔特·夸特罗西奥奇 :
多层次发电机和舆论传播。 数学。 结构。 计算。 科学。 27 ( 2 ) : 234-256 ( 2017 ) 朱利安·克莱门特 , 劳拉·金布鲁诺 :
表示前缀表和边框表:枚举结果。 数学。 结构。 计算。 科学。 27 ( 2 ) : 257-276 ( 2017 ) 马里奥·科波奥 , Mariangiola Dezani-Ciancaglini公司 , 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
交集和并集类型的同构。 数学。 结构。 计算。 科学。 27 ( 5 ) : 603-625 ( 2017 ) 马克西姆·克罗西莫尔 , 科斯塔斯·伊利奥普洛斯 , 阿莱西奥·兰吉乌 , 菲利波偏头痛 :
最长的公共子串问题。 数学。 结构。 计算。 科学。 27 ( 2 ) : 277-295 ( 2017 ) 杰夫·S·H·克鲁特韦尔 :
重新讨论笛卡尔微分范畴。 数学。 结构。 计算。 科学。 27 ( 1 ) : 70-91 ( 2017 ) 乌戈·德利古罗 :
∧μ-演算的逼近定理。 数学。 结构。 计算。 科学。 27 ( 5 ) : 560-580 ( 2017 ) 马里安吉拉·德扎尼 , 萨布丽娜·曼塔奇 , 玛丽内拉·西奥蒂诺 :
前言。 数学。 结构。 计算。 科学。 27 ( 2 ) : 92-93 ( 2017 ) Ernst-Erich Doberkat先生 , 亚历山大·库兹 :
前言:聚代数逻辑专题。 数学。 结构。 计算。 科学。 27 ( 7 ) : 1108-1110 ( 2017 ) 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 安德鲁·波伦斯基 :
计时lambda演算。 数学。 结构。 计算。 科学。 27 ( 5 ) : 782-806 ( 2017 ) 佐尔坦·埃西克 :
笛卡尔范畴中与有限自动机有关的不动点运算的等式公理。 数学。 结构。 计算。 科学。 27 ( 1 ) : 54-69 ( 2017 ) 托比亚斯·弗里茨 :
资源可兑换性与有序交换幺半群。 数学。 结构。 计算。 科学。 27 ( 6 ) : 850-938 ( 2017 ) 克里斯汀·加纳 :
代数结构的计算和不可判定问题的分类。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1386-1413 ( 2017 ) 吉恩·伊夫·吉拉德 :
先验语法I:确定性情况。 数学。 结构。 计算。 科学。 27 ( 5 ) : 827-849 ( 2017 ) 让·古堡-拉雷克 :
混合选择模型之间的同构定理。 数学。 结构。 计算。 科学。 27 ( 6 ) : 1032-1067 ( 2017 ) 瓦西里奥斯·格雷戈里亚德斯 , 塔马斯·基斯佩特 , 阿诺·保利 :
比较可计算分析和有效描述性集合理论中的概念。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1414-1436 ( 2017 ) 乔泽夫·格鲁斯卡 , 邱道文 , 郑生根 :
分布式Deutsch-Jozsa承诺问题的推广。 数学。 结构。 计算。 科学。 27 ( 三 ) : 311-331 ( 2017 ) 关雪冲 , 李永明 , 尤尔格·科拉斯 :
关于半环诱导紧信息代数的条件。 数学。 结构。 计算。 科学。 27 ( 4 ) : 460-469 ( 2017 ) 斯特凡诺·格雷尼 , 亨克·巴伦德伦格特 , 阿道夫·皮佩诺 :
使用lambda-terms进行计算:科拉多·伯姆90岁生日的特刊。 数学。 结构。 计算。 科学。 27 ( 5 ) : 557-559 ( 2017 )