计算机科学中的逻辑方法,第4卷
2008年第4卷第1期
马丁·邦德 , 威尔·德克尔斯 :
有Hilbert-style纯类型系统吗? 拉德哈·贾加迪桑 , 阿兰·杰弗里 , 科林·皮彻 , 詹姆斯·里利 :
Lambda-RBAC:使用基于角色的访问控制进行编程。 尼尔·D·琼斯 , 尼娜·玻尔 :
无类型lambda-Calculus中的Call-by-Value终止。 安德鲁·皮特斯 , 马克·R·辛维尔 :
名称的生成性解绑。 齐齐燕 :
通过全自动机技术实现ω-自动机互补的下限。 乔纳森·海曼 , 格林·温斯克 :
独立与并发分离逻辑。 秦马 , 吕克·马兰杰 :
联接微积分中的代数模式匹配。 亚历克西斯·贝斯 :
Feferman-Vaught定理在无穷长字母表上的自动机和逻辑中的应用。 阿莱西奥·古列尔米 , 汤姆·冈德森 :
通过原子流进行深度推断的规范化控制。
2008年第2期第4卷
沃伊切赫·莫奇德洛夫斯基(Wojciech Moczydlowski) :
IZF归一化与替换。 弗兰克·范·布鲁格尔 , 巴比塔·夏尔马 , 詹姆斯·沃雷尔 :
概率系统无折扣近似行为伪度量。 安德烈亚斯·阿贝尔 :
半连续尺寸类型和终端。 丹尼尔·赫希科夫 , 达米恩·普斯 :
CCS的分布律和p-演算的一个新同余结果。 安卡·穆斯科尔 , 伊戈尔·瓦卢基维奇 :
Web服务组合的下限。 拉尔斯·比克达尔 , 杨红seok :
关系参数和分离逻辑。 弗朗索瓦·拉鲁西尼 , 尼古拉斯·马基 , 加桑·奥雷比 :
论ATL的表达性和复杂性。 休伯特·科蒙·隆德 , 弗洛伦特·雅克马尔 , 尼古拉斯·佩林 :
具有内存和约束的可视树自动机。 帕特里夏·布耶 , 金·古德斯特兰·拉森 , 尼古拉斯·马基 :
模型检查单块定价时间自动机。
2008年第3期第4卷
亚历山德罗·费兰特 , 阿尼埃洛·穆拉诺 , Mimmo Parente公司 :
强化µ-微积分模块检查。 阿诺·阿夫伦 , 安娜·扎曼斯基 :
带有(n,k)个量词的正则微积分。 马丁·霍泽尔·埃斯卡多 :
高级计算中的穷举集。 埃蒂安·洛兹 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
环境逻辑中的可分性。 罗伯特·康斯特布尔 , 沃伊切赫·莫奇德洛夫斯基(Wojciech Moczydlowski) :
通过IZF集合理论语义从构造性HOL证明中提取程序。 米拉德·尼基 :
精确实数算法中的共导形式推理。 卢卡·德·阿尔法罗 , 鲁帕克·马朱姆达尔 , 维什瓦纳斯·拉曼 , 玛丽埃尔·斯托琳加 :
游戏精炼关系和度量。 Daria Walukiewicz-Chrzaszcz , 杰切克·克尔扎斯茨(Jacek Chrzaszcz) :
《构造演算》改写的一致性和完备性。 Jan J.M.M.鲁滕 :
Rational Streams合并。 直田石沼 , Atsushi Igarashi先生 :
通过简单类型Lambda-Calculus的完全翻译证明不干涉。 皮耶罗·A·博纳蒂 , 卡斯滕·卢茨 , 阿尼埃洛·穆拉诺 , 莫舍·瓦尔迪 :
富集Mu-Calculi的复杂性。 马金·尤金斯基(Marcin Jurdzinski) , 杰里米·斯普洛斯顿 , 弗朗索瓦·拉鲁西尼 :
具有一个或两个时钟的概率时间自动机的模型检验。 本杰明·沃纳 :
关于证明相关类型理论的强度。
2008年第4卷第4期
Viorica Sofronie-Stokkerman公司 :
局部理论扩展中的插值。 吉田信子 , Kohei Honda公司 , 马丁·伯杰 :
具有局部状态的高阶函数的逻辑推理。 保罗·巴尔丹 , 安德烈亚·科拉迪尼 , 哈特穆特·埃里格 , 瑞科·赫克尔 , 芭芭拉·科尼格 :
开放Petri网的双相似性和行为保留重构。 邓玉欣 , 罗布·范·格拉贝克 , 马修·轩尼诗 , 卡罗尔·摩根 :
描述有限概率过程的测试预订单。 保罗·科波拉 , 乌戈·达尔·拉戈 , 西蒙娜·隆奇·德尔拉·罗卡 :
轻逻辑和按调用值Lambda演算。 张丽君 , 霍尔格·赫尔曼斯 , 弗里德里希·艾森布兰德 , 大卫·N·詹森 :
流程更快:概率模拟的有效决策算法。 库沙·埃特萨米 , 米哈利斯·扬纳卡基斯 :
递归并发随机博弈。 库沙·埃特萨米 , Marta Z.Kwiatkowska公司 , 莫舍·瓦尔迪 , 米哈利斯·扬纳卡基斯 :
马尔可夫决策过程的多目标模型检验。 克里斯·赫宁 :
紧凑可访问类别和量子密钥分发。 克莱门斯·库普克 , Yde Venema公司 :
协代数自动机理论:基本结果。 拉杰夫·阿鲁尔 , 马塞洛竞技场 , 巴勃罗·巴塞洛 , 库沙·埃特萨米 , 尼尔·伊梅尔曼 , 列昂尼德·利布金 :
嵌套词的一阶和时态逻辑。 奥利维尔·丹维 , 凯文·米利金 :
用J算子对Landin的SECD机器进行理性解构。 塞缪尔·巴斯 , 扬·霍夫曼 , 简·约翰森 :
带引理的解析树:用子句学习表征DLL算法的解析优化。 马修·黑格 , C.-H.卢克·翁 :
高阶下推系统的符号向后可达性分析。 菲利普·穆拉克 :
确定性树语言的Wadge层次结构。 Benedikt Bollig公司 :
论二层可视下推自动机的表达能力。 卢茨·施罗德 :
HasCASL中的引导感应型和共感应型。