CSL 2015:德国柏林
斯蒂芬·克鲁泽 :
第24届EACSL计算机科学逻辑年会,2015年9月7日至10日,德国柏林。 LIPIcs公司 41, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2015 ,国际标准图书编号 978-3-939897-90-3 -
前言、目录、前言、会议组织、外部审查人。 i-xiv(i-xiv) 阿努杰·达瓦尔 , 德克斯特·科赞 , 西蒙娜·隆奇·德尔拉·罗卡 :
2015年阿克曼奖。 xv-xviii型 马丁·阿巴迪 :
及时回退的预言(受邀演讲)。 1-1 克劳迪娅·卡拉佩尔 , 马库斯·洛伊 :
具有局部约束的时间逻辑(受邀谈话)。 2-13 R.瑞恩·威廉姆斯 :
用算法思考不可能(邀请谈话)。 14-23 达米亚诺·马扎 :
简单简约类型和对数空间。 24-40 西蒙·博娃 , 巴纳比·马丁 :
有限阿贝尔群上的一阶查询。 41-59 阿努杰·达瓦尔 , 王鹏明 :
有限值CSP的可定义二分法。 60-77 乔德·克兰恩 , 巴斯·卢提克 , 蒂姆·A·C·威廉斯 :
定点逻辑的证据。 78-93 马提亚斯·巴兹 , 克里斯蒂安·弗缪勒(Christian G.Fermüller) :
无析取直觉逻辑中Prenex切割的基本消除。 94-109 斯特凡·赫兹尔 , 塞巴斯蒂安·齐沃塔 :
消除非正割的树语法。 110-127 阿列克西·舒伯特 , 威尔·德克尔斯 , 亨德里克·彼得·巴伦德雷特 :
证明搜索的自动机理论说明。 128-143 菲利普·马佐维耶基 , 克里斯蒂安·里韦罗斯 :
最大分割逻辑:走向无拷贝成本寄存器自动机的逻辑特征。 144-159 奥利维尔纸箱 , 吕克·达托伊斯 :
非周期双向换能器和FO-换能器。 160-174 奥尔娜·库普夫曼 , 加尔·瓦尔迪 :
关于相对和概率有限抗衡性。 175-192 阿尔贝托·莫利纳里 , 安吉洛·蒙塔纳里 , 阿德里亚诺·佩隆 :
基于航迹代表的区间时序逻辑模型检验方法。 193-210 萨姆森·阿布拉姆斯基 , Rui Soares Barbosa公司 , Kohei Kishida公司 , 雷蒙德·拉尔 , 谢恩·曼斯菲尔德 :
语境、同调和悖论。 211-228 西尔万·萨尔瓦蒂 , 伊戈尔·瓦卢基维奇 :
高阶程序的行为性质模型。 229-243 洛伦佐·克莱门特 , 斯拉沃米尔·拉索塔 :
一阶可定义下推系统可达性分析。 244-259 查尔斯·格雷洛伊斯 , 保罗·安德烈·梅利埃 :
线性逻辑的关系语义与高阶模型检验。 260-276 朱哈·孔蒂宁 , 朱利安·施特芬·穆勒 , 亨宁·施诺尔 , 赫里贝特·沃尔默 :
模态团队语义的范·本特姆定理。 277-291 胜彦三野 , 乔尼·维特马 :
公理化命题依赖逻辑。 292-307 托马斯·施温蒂克 , 尼尔斯涡流计 , 托马斯·泽姆 :
基于逻辑的动态程序的静态分析。 308-324 詹姆斯·布罗瑟斯顿 , 朱尔斯·维拉德 :
次经典布尔丛逻辑及其Par的意义。 325-342 斯特凡诺·贝拉迪 :
经典和直觉算法与高阶理解在归纳完备性上的巧合。 343-358 保罗·卡普里奥蒂 , 尼古拉·克劳斯 , 安德烈亚·维佐西 :
高级截断之外的函数。 359-373 默多克·詹姆斯·加巴伊 , 丹·吉卡(Dan R.Ghica) , 丹妮拉·佩特里桑 :
离开巢穴:交叉作用域变量的标称技术。 374-389 埃里希·格拉德尔 , 维德·帕库萨 :
等级逻辑死了,等级逻辑万岁!。 390-404 阿德里亚·加斯科恩 , 曼弗雷德·施密特·沙乌 , 阿什什·蒂瓦里 :
二限制一上下文统一处于多项式时间。 405-422 刘嘉祥 , Jean-Pierre Jouannaud女士 , 小川瑞之 :
分层重写系统的融合。 423-440 卢卡斯·凯泽 , 马丁·朗 , 西蒙·勒伊尼奇(Simon Leßenich) , 克里斯托夫·洛丁 :
MSO中有界属性的统一方法。 441-456 卡罗琳娜·莱蒂宁 , 桑德拉·奎克特 :
通过公式构造确定模态mu交替层次的第一级。 457-471 迪特里希·库斯克 , 刘嘉谋 , 阿纳斯塔西亚·莫斯科维纳 :
具有可判定单子理论的无限和双无限单词。 472-486 德米特里·特拉泰尔 :
WS1S的协同决策过程。 487-503 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , 不,梅尼尔 , Jean-François Raskin女士 :
弱子博弈完美均衡及其在定量可达性中的应用。 504-518 费利克斯·克莱恩 , 马丁·齐默尔曼 :
延迟游戏中的策略是什么? 前瞻性游戏的Borel确定性。 519-533 雅克·杜帕克 , 凯文·福尼尔 , Szczepan Hummel公司 :
关于索引(0,2)的无歧义正则树语言。 534-548 大卫·巴尔德 , 阿米娜·杜马内 , 亚历克西斯·索林 :
Ludics中的最小和最大固定点。 549-566 弗拉维恩·布鲁瓦特 , 米歇尔·帕加尼 :
线性逻辑关系语义学中的合作效应建模。 567-581 沙欣·阿米尼 , 托马斯·埃哈德 :
关于经典PCF、线性逻辑和MIX规则。 582-596 伊曼纽尔·基伦斯基 , 安蒂·库西斯托 :
具有一个等价关系的一致一维碎片。 597-615 查尔斯·帕普曼 :
有限度谓词和二变量一阶逻辑。 616-630 维托尔德·查拉托尼克 , 彼得·维特科夫斯基 :
带计数和线性顺序的二元逻辑。 631-647 法比奥·莫加维罗 , 朱塞佩·佩雷利 :
一阶逻辑中的绑定形式。 648-665