8.2011年FroCos:德国萨尔布吕肯
切萨雷·蒂内利 , Viorica Sofronie-Stokkerman公司 :
《组合系统的前沿》,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯,2011年10月5-7日。 诉讼程序。 计算机科学课堂讲稿 6989, 施普林格 2011 ,国际标准图书编号 978-3-642-24363-9
受邀论文
亚历山德罗·阿塔尔 , 罗曼·孔察科夫 , 弗拉迪斯拉夫·里日科夫 , 迈克尔·扎克哈里亚舍夫 :
为时序概念模型上的推理量身定制时序描述逻辑。 1-11 贾斯敏·克里斯蒂安·布兰切特 , 卢卡斯·布尔瓦恩 , 托比亚斯·尼普科 :
Isabelle/HOL中的自动证明和反驳。 12-27 马丁·兰格 :
线性时间时序逻辑的尺寸变化终止与可满足性。 28-39
已投稿论文
卡洛斯·阿雷塞斯 , 帕斯卡尔·方丹 :
结合理论:阿克曼和守卫碎片。 40-54 弗兰兹·巴德 , 拉斐尔·佩尼亚洛萨 :
基于GCI和乘积T范数的模糊描述逻辑的不确定性。 55-70 马塞洛·贝尔萨尼 , 斯特凡·德姆里 :
反向约束模型检查的复杂性。 71-86 弗朗索瓦·博博特 , 安德烈·帕斯科维奇 :
用多种语言表达多态类型。 87-102 罗伯托·布鲁托梅索 , 西尔维奥·吉拉尔迪 , 西尔维奥·兰伊斯 :
重写与约束求解相结合的整数差分约束数组的无量词插值。 103-118 安德烈亚斯·艾格斯 , 叶夫根尼·克鲁格洛夫 , 斯特凡·库普弗施米德 , 卡斯滕·谢布勒(Karsten Scheibler) , 蒂诺·泰格 , 克里斯托夫·魏登巴赫 :
叠加模非线性算法。 119-134 路易斯·法利尼亚斯·德尔·塞罗 , 安德烈亚斯·赫齐格 :
均衡模型的模态逻辑。 135-146 卡斯滕·福斯 , 辛西娅·科普 :
利用高阶依赖对的一阶终止检验器。 147-162 阿尔贝托·格里乔 , Quoc-Sang Phan公司 , 罗伯托·塞巴斯蒂亚尼 , 西尔维娅·托马西 :
SMT的随机局部搜索:结合理论解算器和WalkSAT。 163-178 弗洛伦特·雅克马尔 , 小岛吉郎 , 酒井正彦 :
受控术语重写。 179-194 德扬·约万诺维奇 , 克拉克·W·巴雷特 :
分享就是关怀:理论的结合。 195-210 克里斯托夫·林盖森 , 瓦莱里奥·塞尼 :
叠加模计数器算法的模终止和可组合性。 211-226 曼弗雷德·施密特·沙乌 , 大卫·萨贝尔 , 阿尔图格·安尼斯 :
多项式时间中压缩项的同余闭包。 227-242 克里斯蒂安·斯特纳格尔 , 雷内·蒂曼 :
广义和形式化的不匆忙。 243-258 沙哈布·塔沙罗菲 , 尤金妮娅·特诺夫斯卡 :
搜索问题多语言建模中模块性的语义解释。 259-274
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)