×

组合系统的前沿。第五届国际研讨会,FroCos 2005,奥地利维也纳,2005年9月19-21日。诉讼程序。 (英语) 兹比尔1089.68010

计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 3-540-29051-6/pbk)。x、 第321页。(2005).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。之前的研讨会已经过审查(请参阅Zbl 0990.00065号).
索引文章:
吉拉尔迪,西尔维奥;恩里卡·尼科里尼;丹尼尔·祖切利,综合决策程序的综合框架,1-30[Zbl 1171.03306号]
弗兰茨·巴德;西尔维奥·吉拉尔迪,通过伴随函数连接多种结构和理论,31-47[Zbl 1171.03305号]
西尔维奥·拉尼斯;克里斯托夫·林盖森(Christophe Ringeissen);卡拉戈罗·扎尔巴。,使用多分类逻辑将数据结构与非稳定无限理论相结合,48-64[Zbl 1171.68439号]
亚历山德罗·阿曼多;博纳西纳(Bonacina)、玛丽亚·保拉(Maria Paola);西尔维奥·拉尼斯;斯蒂芬·舒尔茨,《关于可满足性程序的重写方法:扩展、理论组合和实验评估》,65-80[Zbl 1171.68507号]
卢卡·德·阿尔法罗(Luca de Alfaro);达席尔瓦,莱安德罗·迪亚斯;马可·费拉(Marco Faella);Legay,Axel;普里塔姆·罗伊;玛丽亚,索里亚,社交接口,81-105[Zbl 1171.68837号]
哈利勒·杰卢尔,关于一个完整的一阶理论中的树和有理数的组合,106-121[Zbl 1171.03321号]
德克·帕丁森;罗伊斯,伯恩哈德,分布式系统的完整时空逻辑,122-137[Zbl 1171.03323号]
埃里克·蒙弗罗伊(Eric Monfroy);沙特,弗雷德里克;托尼·兰伯特,混合CSP求解,138-167[Zbl 1171.68717号]
Lahiri,Shuvendu K。;马丹拉尔·穆苏瓦蒂,UTVPI约束的有效决策程序,168-183[Zbl 1171.68715号]
拉斐尔·德尔瓦多·维塞达,带定义树的声明性约束编程,184-199[Zbl 1171.68405号]
Jovanović,Dejan;贾尼契奇,普雷德拉格,哈希函数的逻辑分析,200-215[Zbl 1171.94351号]
吉尔·吉斯尔(Jürgen Giesl);雷内·蒂曼;彼得·施奈德·坎普,证明和反驳高阶函数的终止,216-231[Zbl 1171.68714号]
亚当·科普罗夫斯基(Adam Koprowski);汉斯·赞特马,使用重写证明生动和公平,232-247[Zbl 1171.68513号]
约阿希姆·尼伦;Schwinghammer,Jan;格特·斯莫尔卡,与期货并行的lambda演算,248-263[Zbl 1171.68409号]
伊贡博格尔系统设计和分析的ASM方法。教程介绍,264-283[Zbl 1171.68422号]
安德烈亚斯·亚贝尔;Coquand、Thierry;乌尔夫诺雷尔,将逻辑框架连接到一阶逻辑校验器,285-301[Zbl 1171.68712号]
谢尔盖·特弗迪舍夫,Isabelle/HOL与自动工具的组合,302-309[兹比尔1171.68718]
崔、萨;凯文·唐纳利;席宏伟,ATS:一种结合编程和定理证明的语言,310-320[兹比尔1171.68421]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
68泰克 人工智能
00B25型 其他特别感兴趣的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部