第16届CSL 2002:英国苏格兰爱丁堡
朱利安·布拉德菲尔德 :
计算机科学逻辑,第16届国际研讨会,CSL 2002,第11届EACSL年会,英国苏格兰爱丁堡,2002年9月22日至25日,会议记录。 计算机科学讲义 2471, 施普林格 2002 ,国际标准图书编号 3-540-44240-5
特邀报告
Susumu Hayashi先生 , 阿卡玛(Yohji Akama) :
极限可计算数学及其应用。 1 弗兰克·内文 :
自动化、逻辑和XML。 2-26 达米安·尼文斯基 :
µ-通过游戏进行微积分。 27-43
重写与建构数学
马克斯·卡诺维奇 :
用双向重写技术实现分区之间的双向投影。 44-58 克劳斯·埃利格 , 费利克斯·约阿奇姆斯基 :
关于连续归一化。 59-73 亚历克谢·V·切尔诺夫 , Dmitrij P.Skvortsov公司 , 埃琳娜·兹沃佐娃 , 尼古拉·韦雷沙金(Nikolai K.Vereshchagin) :
命题公式的可实现性变体和排除中间弱律的逻辑。 74-88 道格拉斯·S·布里奇斯 , 石原慎美 , 彼特·舒斯特 :
紧凑性和连续性,建设性重新审视。 89-102
不动点和递归
托比亚斯·尼普科 :
递归过程和无限不确定性的Hoare逻辑。 103-119 陈一峰 :
非单调并行的不动点理论。 120-134 佐尔坦·埃西克 , 汉斯·雷 :
代数完备半环中的Greibach范式。 135-150
线性逻辑和资源逻辑
哈里·梅森 , Xavier对手 :
加法的证明网和上下文语义。 151-166 约书亚·S·霍达斯 , 巴勃罗·洛佩斯 , 杰弗里·波拉科 , 卢博米拉·斯托伊洛娃 , 埃内斯托·皮门特尔 :
线性逻辑程序设计中用于证明搜索的资源管理标签框架系统。 167-182 迪迪埃·加尔米奇 , 丹尼尔·梅里 , 大卫·J·派姆 :
资源表。 183-199
语义学
彼得罗·森恰雷利 :
配置理论。 200-215 Andrew Moshier先生 , 阿奇姆·荣格 :
语义学概率逻辑。 216-231 保罗·布兰·莱维 :
按调用值进行一般存储的可能世界语义。 232-246 盖伊·麦库斯克 :
干扰的句法控制的完全抽象关系模型。 247-261
时间逻辑与游戏
杰里·马尔辛科夫斯基(Jerzy Marcinkowski) , 托马斯·特鲁德隆 :
正LTL游戏的最佳复杂度界限。 262-275 安东·库塞拉 , 简·斯特雷切克 :
再论口吃原理:关于逻辑LTL中嵌套X和U算子的表示性。 276-291 马金·尤金斯基(Marcin Jurdzinski) , 奥尔娜·库普夫曼 , 托马斯·亨辛格 :
公平交易概率。 292-305
概率、博弈和固定点
丹尼尔·博基尔 , 亚历山大·莫西·拉宾诺维奇 , 阿纳托尔·斯利森科 :
具有可判定模型检验的概率逻辑。 306-321 蒂埃里·卡查特 , 雅克·杜帕克 , 沃尔夫冈·托马斯 :
用Sigma解决下推游戏 三 获胜条件。 322-336 斯蒂芬·克鲁泽 :
无限结构上的部分定点逻辑。 337-351 迪特马尔·伯旺格 , 埃里希·格拉德尔 , 贾科莫·伦齐 :
关于模态微积分的变量层次。 352-366
复杂性与证明复杂性
丹尼尔·利万特 :
高级函数的隐式计算复杂性。 367-381 马提亚斯·巴兹 , 乔治·莫瑟 :
关于特别简单形式半项的推广。 382-396 雷吉斯·巴班肯 , 艾蒂安·格兰德让 :
局部问题、平面局部问题和线性时间。 397-411 埃尔马尔·伯勒 , 伊迪丝·赫玛斯潘德拉 , Steffen Reith公司 , 赫里贝特·沃尔默 :
布尔约束满足的等价性和同构性。 412-426
Ludics与线性逻辑
Lambda微积分
让·古堡-拉雷克 :
高阶正集约束。 473-489 绪方一郎 :
连续传球风格的理论证明。 490-505 川谷义彦 :
调用-名称递归和调用-值迭代之间的对偶性。 506-521 曼弗雷德·施密特·沙乌 , 克劳斯·舒尔茨 :
有界高阶统一的可判定性。 522-536 赫尔曼·盖弗斯 , Gueorgui I.Jojgov公司 :
开放证明和开放术语:交互式逻辑的基础。 537-552 让·古堡-拉雷克 , 斯拉沃米尔·拉索塔 , 大卫·诺瓦 :
一元类型的逻辑关系。 553-568
决议和证明
阿尔伯特·阿塞里亚斯 , 玛丽亚·路易莎·博内 :
关于分解和相关命题证明系统的自动化。 569-583 汉斯·德尼维尔 :
从句范式转换中提取证据。 584-598 阿诺德·贝克曼 :
具有高度限制的决议拒绝和提议证明。 599-612