计算机科学中的逻辑方法,第2卷
2006年第2卷第1期
保罗·泰勒 :
基于可计算的局部紧空间。 安东·库塞拉 , 哈维尔·埃斯帕尔扎 , 理查·马 :
模型检查概率下推自动机。 Phuong Nguyen公司 , 史提芬·古克 :
TC0和其他小型复杂类的理论。 维尼特·古普塔 , Radha Jagadeesan公司 , 普拉卡什·帕南加登 :
实时概率过程的近似推理。 威廉·康雷迪 , 瓦伦丁·戈兰科 , 迪米特·瓦卡列洛夫 :
模态逻辑中的算法对应性和完备性。 一、核心算法SQEMA。 布里耶什·东戈尔 , 道格·戈德森 :
用进步的逻辑扩展Owicki和Gries的理论。
2006年第2卷第2期
克里斯蒂安·斯特夫林 :
用surpjective对推广推广的Lambda演算是保守的。 布鲁诺·库塞尔 :
图的一元二阶逻辑XVI:标准图分解。 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
论环境逻辑的表达性。 Alwen Tiu先生 :
互动系统与结构II:深层推理的需要。 卡斯滕·卢茨 , 弗兰克·沃尔特 :
拓扑关系的模态逻辑。 阿诺焦油醇 , 安托万·梅耶 :
上下文敏感语言,有理图和决定论。
2006年第3期第2卷
弗兰克·内文 , 托马斯·施温蒂克 :
关于存在析取、DTD和变量时XPath包含的复杂性。 列奥尼德·利布金 :
未分级树的逻辑:概述。 长谷正彦 :
关系参数和控制。 小林直树 , Suenaga小平 , 卢西安·维希克 :
p-微积分的资源使用分析。 塔马拉·巴巴扬 , 詹姆斯·施莫尔泽(James G.Schmolze) :
有效的开放世界规划推理。 所罗门·费弗曼 :
塔斯基对计算机科学的影响。
2006年第4期第2卷
维克托·达尔摩 :
广义多数-少数操作是可牵引的。 乐池团 , 奇塔·巴拉尔 , Tran Cao儿子 :
具有感知行为和不完全信息的领域的基于状态的回归公式。 弗朗索瓦·拉马克 , Lutz Stra汉堡 :
从证明网到自由*自治类别。 杰瑞米·阿维加德 , 哈维·弗里德曼 :
结合实际的决策程序。 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
Barendregt问题在Sensible lambda-Theories上的求解。 埃里希·格拉德尔 , 伊戈尔·瓦卢基维奇 :
无限多优先级博弈的位置确定性。
2006年第5期第2卷
拉尔斯·比克达尔 , 诺亚·托普·史密斯 , 杨红seok :
类算法语言的分离逻辑类型语义和高阶框架规则。 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 拉斯穆斯·勒切达尔·彼得森 :
线性阿巴迪和普洛金逻辑。 让·盖利尔 :
命题分解的完备性:一个简单的构造性证明。 杰里·阿达梅克 , 斯特凡·米利乌斯 , 杰里·韦利比尔 :
埃尔戈特代数。 阿明·比尔 , 凯霍·赫尔扬科 , 汤米·A·琼蒂拉 , 蒂莫·拉塔瓦拉 , 维克多·舒潘 :
有界LTL模型检查的线性编码。