计算机科学中的数学结构,第27卷
2017年1月第27卷第1期
弗朗西斯科·马莫约 , A.Vázquez-Márquez :
无迭代混合分布律。 1-16 伯生松 , 陶松 , 潘林强 :
具有细胞分裂的组织P系统子集和问题的无时间统一解。 17-32 斯维特兰娜·雅克西奇 , 约万卡·潘托维奇 , 西尔维娅·吉勒赞 :
链接数据隐私。 33-53 佐尔坦·埃西克 :
笛卡尔范畴中与有限自动机有关的不动点运算的等式公理。 54至69 杰夫·S·H·克鲁特韦尔 :
重新审视笛卡尔微分范畴。 70-91
第27卷第2期,2017年2月
戴维德·安科纳 , 保拉·贾尼尼 , 埃琳娜·祖卡 :
键入安全的增量重新绑定。 94-122 马塞拉·安塞尔莫 , 多拉·贾马尔西 , 玛丽亚·马多尼亚 :
图片强前缀码的结构和性质。 123-142 坦弗·阿塔尔 , 卡尔·巴顿 , 维德梅·布兰德 , 贾高 , 科斯塔斯·伊利奥普洛斯 , 刘畅(Chang Liu) , Solon P.Pissis公司 :
快速循环字典匹配算法。 143-156 丹妮拉·巴塔利诺 , 玛蒂尔德·布维尔 , 安德烈亚·弗罗西尼 , 西蒙·里纳尔迪 :
具有排除子矩阵的置换类和多米诺类。 157-183 安东尼奥·贝尔尼尼 , 斯特凡诺·比洛塔 , 伦佐·平扎尼 , 文森特·瓦尼诺夫斯基 :
无交叉对偶集的格雷码。 184-196 维托里奥·比洛 , 安吉洛·法内利 , 卢卡·莫斯卡德利 :
拥挤博弈中的前瞻均衡。 197-214 斯特凡诺·比斯塔雷利 , 弗朗西斯科·桑蒂尼 :
关于将两个信任网络合并为一个具有两极偏好的网络。 215-233 萨拉·布鲁内蒂 , Gennaro Cordasco公司 , 埃琳娜·洛迪 , 路易斯·加加诺 , 沃尔特·夸特罗西奥奇 :
多层次发电机和舆论传播。 234-256 朱利安·克莱门特 , 劳拉·金布鲁诺 :
表示前缀表和边框表:枚举结果。 257-276 马克西姆·克罗西莫尔 , 科斯塔斯·伊利奥普洛斯 , 阿莱西奥·兰吉乌 , 菲利波偏头痛 :
最长的公共子串问题。 277-295 尤金尼奥·奥莫多 , 阿尔贝托·波利克里蒂 , 亚历山大·托梅斯库 :
集合语义学与组合学相遇。 296-310
2017年3月第27卷第3期
乔泽夫·格鲁斯卡 , 邱道文 , 郑生根 :
分布式Deutsch-Jozsa承诺问题的推广。 311-331 马克斯·卡诺维奇 , 塔贾娜·班·基里金 , 维维克·尼甘姆 , 安德烈·斯切德罗夫 , 卡罗琳·塔尔科特 , 兰科·佩罗维奇 :
受法规约束的活动的改写框架和逻辑。 332-375 阿诺·保利 :
多项约简和多值函数的类别。 376至404 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
Lambda理论允许具有有限个不动点的项。 405至427 沃尔特·费雷尔·桑托斯 , 乔纳斯·弗雷 , 毛里西奥·吉勒莫 , 奥克塔维奥·马勒贝 , 亚历山大·米克尔 :
有序组合代数与可实现性。 428-458
第27卷第4期,2017年5月
管学冲 , 李永明 , 尤尔格·科拉斯 :
关于半环诱导紧信息代数的条件。 460-469 郭兰坤 , 李庆国 , 佩特科·瓦尔切夫 , 林亚萍 :
用形式关联规则系统表示代数域。 470-490 翁建豪 :
通过Comonad描述电子投影的特征。 491-506 Xiaoyong Xi(西晓勇) , 赵东生 :
过滤良好的空间及其dcpo模型。 507-515 魏尧 :
dcpos上的格值Scott拓扑。 516-529 张文峰 , 徐晓泉 :
满足连续格概念的完备不变推广。 530-539 赵浩然 , 惠口 :
与$\mathbb{T}相关的稳定通用域$ ω . 540-556
第27卷,第5期,2017年6月
乌戈·德利古罗 :
∧μ-演算的逼近定理。 560-580 达米亚诺·马扎 :
无穷仿射证明。 581-602 马里奥·科波奥 , Mariangiola Dezani-Ciancaglini公司 , 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
交集和并集类型的同构。 603-625年 卢卡-保利尼 , 毛罗·皮科洛 , 西蒙娜·隆奇·德尔拉·罗卡 :
基本模型和关系模型。 626-650 保罗·安德烈·梅利埃 :
参数延拓单子体。 651-680 保拉·塞弗里 , 弗·扬·德弗里斯 :
无穷eta-Böhm树的无穷lambda演算。 681-733 瑞克·斯塔特曼 :
驯服野生蚂蚁; Böhm猜想的反例。 734-737 珍妮·雅克·莱维 :
在λ-演算中,矩阵是稳定的。 738-750 萨姆森·阿布拉姆斯基 , 维克托·温舍尔 :
无限对策中亚博弈完全均衡的无折扣协代数分析。 751-761 J.M.E.海兰德 :
现代服装中的经典lambda演算。 762-781 约格·恩德鲁利斯 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 安德鲁·波伦斯基 :
计时lambda演算。 782-806 杰拉德·P·休特 , 贝尼特·拉泽特 :
使用关系机进行计算。 807-826 吉恩·伊夫·吉拉德 :
先验语法I:确定性情况。 827-849
第27卷第6期,2017年9月
托比亚斯·弗里茨 :
资源可兑换性与有序交换幺半群。 850-938 米歇尔·帕加尼 , 保罗·特兰基利 :
微分网的守恒定理。 939-992 费德里科·阿舍里 :
交互式实现中的构造性强制、CPS转换和见证提取。 993-1031 让·古堡-拉雷克 :
混合选择模型之间的同构定理。 1032-1067 毛里西奥·吉勒莫 , 埃蒂安·米奎 :
经典可实现性和算术公式。 1068-1107
第27卷第7期,2017年10月
Ernst-Erich Doberkat先生 , 亚历山大·库兹 :
前言:聚代数逻辑专题。 1108-1110
Jean-Baptiste珍妮 , 德克斯特·科赞 , 亚历山德拉·席尔瓦 :
资金充足的联盟,再次访问。 1111-1131 德克斯特·科赞 , 亚历山德拉·席尔瓦 :
实用的复制品。 1132-1152 亚历山大·库尔兹 , 杰里·韦利比尔 :
序代数的拟簇和簇:正则性和精确性。 1153-1194 达斯科·巴甫洛维奇 , 贝特弗里德·福泽 :
光滑余代数:测试向量分析。 1195-1235 侏罗纪腐朽 , 菲利波·邦奇 , 马塞洛·M·邦桑格 , 达米安·普斯 , 简·鲁顿 , 亚历山德拉·席尔瓦 :
增强的协同脑互模拟。 1236年-1264年 佩德罗·桑切斯地形 :
相似性不是Borel。 1265-1284
第27卷,第8期,2017年12月
石原慎美 , 玛格丽塔·科罗维纳 , 阿诺·保利 , 莫妮卡·塞森伯格 , Dieter Spreen公司 :
特刊前言:连续性、可计算性、可构造性:从逻辑到算法2013。 1285-1286
纳撒尼尔·L·阿克曼 , 卡梅伦·弗利尔 , 丹尼尔·罗伊 :
关于可计算性和分解性。 1287-1314 埃德温·J·贝格斯 , 何塞·费利克斯·科斯塔 , 迪奥戈·波萨斯 , 约翰·V·塔克 :
使用测量消失量的预言进行计算。 1315-1363 乌尔里希·伯杰 , 铁厚 :
对丘奇简单类型理论的可实现性解释。 1364-1385 克里斯汀·加纳 :
代数结构上的计算和不可判定问题的分类。 1386-1413 瓦西里奥斯·格雷戈里亚德斯 , 塔马斯·基斯佩特 , 阿诺·保利 :
比较可计算分析和有效描述性集合理论中的概念。 1414-1436 川村昭通 , 弗洛里安·斯坦博格 , 马丁·齐格勒 :
关于泊松方程Dirichlet问题的计算复杂性。 1437-1465 玛格丽塔·科罗维纳 , 奥列格·库迪诺夫 :
有效可枚举拓扑空间中的可计算元素和函数。 1466-1494 罗伯特·雷廷格 :
多连通域和黎曼曲面的有效黎曼映射。 1495-1520年 弗拉基米尔·萨佐诺夫 :
在自然连续的非dcpo域上。 1521-1552 维克托·塞利瓦诺夫 :
朝向cb0-空间的描述性理论。 1553-1580 斯坦尼斯拉夫·斯佩兰斯基 :
概率逻辑中对事件的量化:导论。 1581-1600 Dieter Spreen公司 :
一些结果与连续性问题有关。 1601-1624 铃本康树 , Hideki Tsuiki先生 :
空间通过并矢子基的域表示的性质。 1625-1638