计算机科学中的数学结构,第25卷
第25卷第1期,2015年1月
让·古堡-拉雷克 :
Schröder-Simpson定理的简短证明。 1-5 杰里·阿达梅克 , 卢德斯·索萨 , 杰里·韦利比尔 :
有序丰富类别中的Kan内射性。 6-45 亨德里克·希尔伯丁克 :
包含偏见。 46-82 Norihiro Kamide公司 :
LTL及其变体的嵌入定理。 83-134 理查德·巴纳赫 , Czeslaw Jeske公司 :
精简与精化相互作用:塔式定理。 135-202
第25卷第2期,2015年2月
迈克尔·克拉克森 , 弗雷德·施耐德 :
完整性量化。 207-258 米歇尔·博雷尔 , 克拉克 , 丹尼尔·戈拉 :
一种基于半环的进程跟踪语义,用于信息泄漏分析。 259-291 米歇尔·博雷尔 , 弗朗西丝卡·潘帕洛尼 , 米歇尔·帕奥利尼 :
一次性攻击下的渐进信息泄漏。 292-319 安娜贝拉·麦克维尔 , 拉里萨·梅尼基 , 卡罗尔·摩根 :
带迭代的Hidden-Markov程序代数。 320-360 贝特里斯·贝拉德 , 约翰·穆林斯 , 马修·萨索拉斯 :
量化不透明度。 361-403 帕斯奎尔·马拉卡里亚 :
定量信息流的代数基础。 404-428 萨道纳·哈马杜 , 弗拉迪米罗·萨松 , 穆扬(Mu Yang) :
自适应攻击者存在下匿名网络中的信任分析。 429-456 迈克尔·巴克斯 , 鲍里斯·科普夫 :
量化密码系统中的信息流。 457-479
第25卷第3期,2015年3月
戴夫·克拉克 , 米歇尔·赫尔文斯泰恩 , 伊娜·谢弗 :
抽象三角洲建模。 482-527 Mads大坝 , 雅各布施 , 安德烈亚斯·伦德布拉德 , 弗兰克·皮森斯 :
多线程Java的安全监视器内联和认证。 528-565 罗伯托·布鲁尼 , 埃尔南·梅尔格拉蒂 , 乌戈·蒙塔纳里 :
cJoin:加入通信事务。 566-618 劳拉·博奇 , 埃米利奥·托斯托 :
面向服务计算中基于属性的事务。 619-665 米歇尔·博雷尔 , 罗伯托·布鲁尼 , 洛科·德·尼古拉 , 米歇尔·洛雷蒂 :
CaSPiS:会话、管道和服务的计算。 666-709 马西莫·巴托莱蒂 , 皮耶保罗·德加诺 , 吉安·路易吉·费拉里 , 罗伯托·祖尼诺 :
模型检查使用策略。 710-763
第25卷第4期,2015年5月
玉溪府 , Kazunori Ueda公司 :
前言。 764
周小聪 , 李永吉 , 李文俊 , 海燕桥 , 中华书局 :
多项式余代数基于路径规范语言中的互模拟证明方法。 765-804 谭刚(Gang Tan) :
JNI-light:核心JNI的操作模型。 805-840 Hiroshi Unno先生 , 田口直史 , 小林直树 :
通过高阶模式检查验证树处理程序。 841-866 雅克·加里格 :
具有结构多态性和递归类型的ML的认证实现。 867-891 容伯姆·荣格(Yungbum Jung) , Soonho Kong公司 , 克里斯蒂娜·戴维 , 王朝霞(Bow-Yaw Wang) , Kwangkeun Yi公司 :
通过算法学习自动推断循环不变量。 892-915 群马大学医学院的加藤 , 秀中宗一郎 , 胡振江 , 中野圭介 , 石原雅素 :
提供上下文保护的XQuery融合。 916-941 弗朗西斯科·哈维尔·洛佩斯·弗拉瓜斯 , 恩里克·马丁·马汀 , 胡安·罗德里格斯-霍塔拉 :
功能逻辑程序的自由类型系统。 942-977 保罗·巴尔丹 , 菲利波·邦奇 , 法比奥·加杜奇 , 贾科玛·瓦伦蒂娜·蒙雷尔 :
无法异步观察并发。 978-1004
第25卷第5期,2015年6月
Benedikt Ahrens公司 , Krzysztof Kapulkin公司 , 迈克尔·舒尔曼 :
单价类别和Rezk完成。 1010-1039 杰瑞米·阿维加德 , Krzysztof Kapulkin公司 , 彼得·勒法努·卢姆斯代恩 :
类型理论中的同调极限。 1040-1070 布鲁诺·巴拉斯 , 蒂埃里·科昆德 , 西蒙·胡贝尔 :
Takeuti-Gandy解释的概括。 1071-1099 本诺·范登伯格 , 列克·莫尔迪克 :
同伦型理论中的W型。 1100-1115 雨果·赫伯林 :
半单纯形类型的独立类型构造。 1116-1131 贾普·范·奥斯滕 :
有效拓扑的一个同伦论概念。 1132-1146 阿尔瓦罗·佩莱奥 , 弗拉基米尔·沃沃德斯基 , 迈克尔·沃伦 :
的单叶形式化 第页 -adic数。 1147-1171 埃格伯特·里杰克 , 低音喷溅 :
同伦类型理论中的集合。 1172-1202 迈克尔·舒尔曼 :
逆图和同伦规范的唯一性。 1203-1277 弗拉基米尔·沃沃德斯基 :
基于单价基础的形式化数学实验库。 1278-1294
第25卷第6期,2015年9月
玉溪府 :
计算的非确定性结构。 1295-1338 弗兰科·巴巴内拉 , 乌戈·德·利古罗 :
基于会话的客户端/服务器系统的子行为关系。 1339-1381 张燕(音译) , 朱朝晖 , 张金进(Jinjin Zhang) :
关于逻辑LTS上的递归操作。 1382-1431 德米特里·科兹洛夫 :
弱对称破缺和抽象单纯形路径。 1432-1462
2015年10月第25卷第7期
乌尔里希·伯杰 , 瓦斯科·布拉特卡 , 维克托·塞利瓦诺夫 , 迪特尔·斯普林 , Hideki Tsuiki先生 :
专题前言:无限数据计算:拓扑和逻辑基础。 1463-1465
彼得·阿策尔 , 石原慎美 , 内本孝子 , 靖国三谷 :
广义几何理论和集生成类。 1466-1483 安德烈·鲍尔 :
从Baire空间到自然数的注入。 1484-1489 维罗尼卡·贝彻 , 谢尔盖·格里戈里夫 :
Choquet对策拓扑空间中的Borel和Hausdorff层次及其有效性。 1490-1519 维罗尼卡·贝彻 , 谢尔盖·格里戈里夫 :
Scott空间中的Wadge硬度及其有效性。 1520-1545 贾里德·贝克 , 约翰·普莱斯 , 威廉·沃奇 :
语言Lucid中的多维无限数据。 1546-1568 汉内斯·迪纳 :
石原慎太郎主题变奏曲。 1569-1577 马丁·埃斯卡多 :
经典连续性的可判定性。 1578-1589 威廉·福凯 :
科尔莫戈洛夫复杂性和布朗运动的几何。 1590-1606 雷霍德·赫克曼 :
可数表示区域的空间性(用Baire范畴定理证明)。 1607-1625
第25卷第8期,2015年12月
石原慎美 , Tatsuji Kawai公司 :
基本对和具体空间范畴的完备性和余完备性。 1626-1648 高崎木原 :
比较∏的梅德韦杰夫度和图灵度 0 1 类。 1649-1668 玛格丽塔·科罗维纳 , 奥列格·库迪诺夫 :
连续数据的正谓词结构。 1669-1684 汉斯·佩特·A·Künzi , 曼纽尔·桑奇斯 :
“The Katětov结构修改为 T型 0 -准度量空间。 1685-1691 宫本健二 , 赫尔穆特·施维赫滕贝格 :
精确实数运算中的程序提取。 1692-1704 卢卡·莫托·罗斯 , 菲利普·施利希特 , 维克托·塞利瓦诺夫 :
任意拟光滑空间上的Wadge-like可约性。 1705-1754 保罗·奥利瓦 , 唐博伟 :
通过选择函数的乘积对拉姆齐定理进行构造性解释。 1755-1778 马苏德·波尔马迪安 , 纳扎宁·塔瓦纳 , 法扎德·迪德瓦尔 :
有效的度量模型理论。 1779-1798 马蒂亚斯·施罗德 , 维克托·塞利瓦诺夫 :
QCB的一些层次结构 0 -空格。 1799-1823