RTA-TLCA 2014:奥地利维也纳
吉尔斯·道克 :
2014年7月14日至17日,奥地利维也纳,作为维也纳逻辑夏季的一部分,RTA-TLCA 2014年联合国际会议,改写和打字Lambda Calculi。 诉讼程序。 计算机科学课堂讲稿 8560, 施普林格 2014 ,国际标准图书编号 电话:978-3-319-08917-1 Kohei Honda公司 , 吉田信子 , 马丁·伯杰 :
过程类型作为交互控制和Pi-Calculus的描述性工具。 1-20 曼弗雷德·施密特·沙乌 :
用于语义分析的并行程序设计语言和方法(特邀演讲的扩展摘要)。 21-30 安东·塞泽尔 , 安德烈亚斯·阿贝尔 , 布里吉特·皮恩特卡 , 大卫·西博多 :
取消Copatterns的测试。 31-45 高仁青藤 , 富山义彦 , Kazumasa Uchida公司 :
通过持久性和递减图证明术语重写系统的合流性。 46-60 Kyungmin Bae公司 , 何塞·梅塞盖尔 :
重写理论的谓词抽象。 61-76 克莱门特·奥伯特 , 马克·巴格诺尔 :
统一与对数空间。 77-92 斯特凡诺·贝拉尔迪 , 西尔维娅·斯特拉 :
拉姆齐定理是完备关系的直觉性质。 93-107 亚历斯·比兹亚克 , 拉尔斯·比克达尔 , 马里诺·米库兰 :
防护型理论中的可数不确定性模型。 108-123 纪尧姆·伯勒 :
通过饱和度降低可接纳性。 124-138 卡尔斯·克鲁斯 , 吉勒姆·戈多伊 :
上下文无关语法的自动评估(系统描述)。 139-148 卡尔斯·克鲁斯 , 吉勒姆·戈多伊 :
兄弟间高度约束的树自动机。 149-163 卢卡斯·扎伊卡 :
无穷Lambda-Calculus的一个共导合流证明。 164-178 丹尼尔·德·卡瓦略 , 雅各布·格鲁·西蒙森 :
多项式时间决定集的无Cons-Free重写隐式刻画。 179-193 Mariangiola Dezani-Ciancaglini公司 , 西尔维娅·吉勒赞 :
交叉和并集类型的子类型的精确性。 194-207 马丁·霍泽尔·埃斯卡多 , 亚历克斯·辛普森 :
类型理论中实数的抽象数据类型。 208年至223年 彭福 , 亚伦·斯塔姆 :
依赖类型Lambda编码的自类型。 224-239 卡斯滕·福斯 , 辛西娅·科普 :
一阶形成规则。 240-256 Nao Hirokawa先生 , 乔治·莫瑟 :
基于上下文敏感重写的自动化复杂性分析。 257-271 马丁·霍夫曼 , 格奥尔格·莫瑟 :
摊销资源分析和类型多项式解释。 272-286 刘嘉祥 , 纳丘姆·德肖维茨 , Jean-Pierre Jouannaud女士 :
通过关键对分析进行融合。 287-302 卡洛斯·隆巴迪 , 亚历杭德罗·里奥斯 , 罗埃尔·德弗里杰尔(Roel de Vrijer) :
无限重写的证明术语。 303-318 罗伯托·梅利 :
抗伸缩结构的施工。 319-333 保罗·安德烈·梅利斯 :
字符串图中的局部状态。 334-348 中泽浩二 , 长井智宏 :
广义Lambda-mu微积分的约化系统。 349-363 科迪·鲁克斯 , 弗洛里斯·范·道恩 :
纯型系统的结构理论。 364-378 曼弗雷德·施密特·沙乌 , 大卫·萨贝尔 :
在AMB的逐值Lambda演算中应用May-和Should-模拟。 379-394 西尔万·施密茨 :
蕴涵关联逻辑是2-ExpTime-Complete。 395-409年 瑞克·斯塔特曼 :
近半环和兰姆达微积分。 410-424 安德烈·斯特凡内斯库 , 斯特凡·西奥巴 , 拉杜·梅雷塔 , 布兰登·M·摩尔 , Traian-Florin塞尔维亚人 , 格里戈·罗苏 :
全路径可达性逻辑。 425-440 克里斯蒂安·斯特纳格尔 , 勒内·蒂曼 :
形式化单调代数以证明终止和复杂性证明。 441-455 托马斯·斯特纳格尔 , 阿尔特·米德尔多普 :
条件汇流(系统描述)。 456-465 山田秋久 , 库萨卡里(Keiichirou Kusakari) , 酒井俊彦 :
名古屋终止工具。 466-475 汉斯·赞特马 , 芭芭拉·科尼格 , H.J.桑德·布鲁金克 :
循环终止重写。 476-490
![](https://dblp.org/img/cog.dark.24x24.png)