塞萨尔·蒂内利（编辑）;维奥里卡Sofrone-Stokkerman（编辑） 组合系统的前沿。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。 （英语） Zbl 1223.68012号 计算机科学讲义6989.人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。viii，275页。(2011). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于上一次研讨会，请参见[Zbl 1178.68010号].索引文章：亚历山德罗·阿塔尔；孔查科夫，罗马人；弗拉迪斯拉夫·里日科夫；迈克尔·扎克哈里亚舍夫，为时序概念模型的推理量身定制时序描述逻辑，1-11[Zbl 1348.68235号]Jasmin Christian布兰切特；卢卡斯·布尔瓦恩；托比亚斯·尼普科，Isabelle/HOL中的自动证明和反驳，12-27[Zbl 1348.68214号]马丁·兰格，线性时间时序逻辑的尺寸变换终止和可满足性，28-39[Zbl 1347.03034号]卡洛斯·阿雷塞斯；帕斯卡·方丹结合理论：阿克曼和守卫碎片，40-54[Zbl 1348.03027号]弗兰茨·巴德；拉斐尔·佩尼亚洛扎，关于具有GCI和乘积t-范数的模糊描述逻辑的不可判定性，55-70[Zbl 1348.68236号]马尔塞洛·M·贝尔萨尼。；斯特凡·德姆里，可逆有界模型检验的复杂性，71-86[Zbl 1348.68121号]弗朗索瓦·博博特；安德烈·帕斯科维奇，用多种语言表达多态性类型，87-102[Zbl 1348.68215号]罗伯特·布鲁托梅索；西尔维奥·吉拉尔迪；西尔维奥·兰伊斯，具有整数差分约束的数组无量词插值的重写和约束求解的组合，103-118[Zbl 1348.68123号]安德烈亚斯·艾格斯；克鲁格洛夫，叶夫根尼；Stefan Kupferschmid；卡斯滕·谢布勒（Karsten Scheibler）；蒂诺·特伊格；克里斯托夫·韦登巴赫，叠加模非线性算法，119-134[Zbl 1348.68218号]路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格，平衡模型的模态逻辑，135-146[Zbl 1347.68041号]福斯，卡斯滕；辛西娅·科普，使用高阶依赖对利用一阶终止校准程序，147-162[Zbl 1348.68219号]阿尔贝托·格里乔；Phan，Quoc-Sang；罗伯托·塞巴斯蒂亚尼；西尔维娅·托马西，SMT的随机局部搜索：将理论求解器与WalkSAT相结合，163-178[Zbl 1348.68227号]雅克·马尔，佛罗伦萨；小岛、吉原；Masahiko酒井，受控术语重写，179-194[Zbl 1348.68083号]Jovanović，Dejan；克拉克·巴雷特《分享就是关怀：理论的结合》，195-210[Zbl 1348.68220号]克里斯托夫·林盖森（Christophe Ringeissen）；瓦莱里奥·塞尼，叠加模计数器算法的模终止和可组合性，211-226[Zbl 1348.68223号]曼弗雷德·施密特·肖斯；戴维·萨贝尔（David Sabel）；阿尼斯，阿尔图，多项式时间中压缩项的同余闭包，227-242[Zbl 1348.68085号]斯特纳格尔，克里斯蒂安；雷内·蒂曼，广义的和形式化的解除武装，243-258[Zbl 1348.68086号]沙哈卜·塔沙罗菲；尤金妮娅·捷尔诺夫斯卡，搜索问题多语言建模中模块化的语义解释，259-274[Zbl 1348.68232号] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68泰克 人工智能 00B25型 杂项特定利益的会议记录 引文：兹比尔1178.68010 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}（编辑）和\textit{V.Sofronie-Stokkermans}（主编），组合系统的前沿。2011年10月5-7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（2011；Zbl 1223.68012） 全文： 内政部