Harald Ganzinger回忆2013
安德烈·沃伦科夫 , 克里斯托夫·魏登巴赫 :
编程逻辑——纪念哈拉尔德·甘津格的论文。 计算机科学课堂讲稿 7797, 施普林格 2013 ,国际标准图书编号 978-3-642-37650-4 迪帕克·卡普尔 , 罗伯特·尼文胡斯 , 安德烈·沃龙科夫 , 克里斯托夫·魏登巴赫 , 莱因哈德·威廉姆 :
Harald Ganzinger的遗产:对逻辑和编程的贡献。 1-18 亚历山大·博克迈尔 , 海克·西伯特 :
生物逻辑:生物调节网络的逻辑分析。 19-34 玛丽亚·保拉·博纳西纳 , 纳丘姆·德肖维茨 :
典型地喇叭理论。 35-71 Jean-Marie Gaillourdet女士 , 帕特里克·米歇尔 , Arnd Poetzsch-Heffter公司 , 尼科尔·劳赫 :
支持属性的排序树的泛型函数表示(Haskell Can Do It)。 72-89 让·古堡-拉雷克 , Jean-Pierre Jouannaud女士 :
有限语义树的开花。 90-122 迈克尔·哈纳斯 :
函数逻辑程序设计:从理论到Curry。 123-168 托马斯·希伦布兰德 , 鲁齐卡·皮斯卡 , 乌韦·沃尔德曼 , 克里斯托夫·魏登巴赫 :
从搜索到计算:工作中的冗余标准和简化。 169-193 迪帕克·卡普尔 :
程序分析的消除技术。 194-215 克洛德·基什内尔 , 赫莱内·基什内尔 , 法布里斯·纳洪 :
基于窄化的归纳证明搜索。 216-238 康斯坦丁柯罗文 :
Inst-Gen——基于实例的自动推理的模块化方法。 239-270 皮埃尔·莱斯坎 :
高阶证明助手中的公共知识逻辑。 271-284 克里斯托弗·林奇 :
构建巴赫米尔-甘辛格模型。 285-301 胡安·安东尼奥·纳瓦罗·佩雷斯 , 安德烈·沃伦科夫 :
用有效的命题逻辑进行规划。 302-316 大卫·A·普莱斯特 , 斯瓦哈·米勒 :
语义和统一的相对力量。 317-344 雷娜特·施密特 , 乌尔里希·赫斯塔特 :
模态逻辑的一阶分解方法。 345-391 Viorica Sofronie-Stokkerman公司 :
关于局部理论扩展的组合。 392-413 约格·克里克 , 托马斯·W·代表 , 诺姆·里内茨基 , 穆利·萨吉夫 , 莱因哈德·威廉姆 , 埃兰·雅哈 :
有效无切入点程序的跨过程形状分析。 414-445