2016年FSCD 2016年6月22日至26日-葡萄牙波尔图

第一届计算和演绎形式结构国际会议（FSCD 2016）



迪莉娅·凯斯纳（Delia Kesner）和布里吉特·皮恩特卡（Brigitte Pientka）（编辑）
ISBN 978-3-95977-010-1，LIPICS第52卷 国际标准刊号1868-8969
其他信息
许可证
会议网站
完整卷（PDF，18 MB）
搜索发布服务器

作者
  • 阿马尔·艾哈迈德
  • Akiyoshi、Ryota
  • 托尔斯滕·阿滕柯奇
  • 高仁青藤
  • 奥费尔·阿列利
  • 柳田有坂
  • 安德烈斯·阿里斯蒂扎巴尔
  • 马丁·阿文齐尼
  • 阿诺·阿夫隆
  • 毛里西奥·阿亚拉·林科恩
  • 巴，克日什托夫
  • 马钦·本克
  • Dariusz Biernacki
  • 布洛特，瓦伦丁
  • 乔恩·海尔·布伦纳斯
  • 弗拉维恩·布鲁瓦特
  • 考斯托夫·乔杜里
  • 可口、蒂埃里
  • 德弗里斯，Fer-Jan
  • 安德烈·杜登赫夫纳
  • 瑞希德·埃哈希德
  • 玛丽贝尔·费尔南德斯
  • 基梅内兹，斯特芬
  • 雅各布·格鲁·西蒙森
  • 朱利奥·格雷里
  • 马科托·哈马纳
  • 一郎·哈索
  • 杰拉德·休特
  • 巴特·雅各布斯
  • 斯特凡·卡尔斯
  • 安布罗斯·卡波西
  • 迪莉娅·凯斯纳
  • 亚历克斯·基辛格
  • 辛西娅·科普
  • 詹姆斯·莱尔德
  • 奥利维·洛朗
  • 朗格莱，塞尔盖伊
  • 托默·利巴尔
  • 菲利普·马尔博斯
  • 巴赛尔·曼纳
  • 朱利奥·曼佐内托
  • 索尼娅·马林
  • 莫里茨·马滕斯
  • 阿尔特·米德尔多普
  • 戴尔·米勒
  • 塞缪尔·米姆拉姆
  • 乔治·莫瑟
  • 丹尼尔·南特斯·索布里尼奥
  • 托比亚斯·尼普科夫
  • 直纪西田
  • 大卫·奥布瓦勒
  • 阿德里安·帕拉西奥斯
  • 吕克·佩利西尔
  • 碧姬·品特卡
  • 彼得·波列修克
  • 安德鲁·波伦斯基
  • 弗兰齐斯卡·拉普
  • 雅各布·雷霍夫
  • 多梅尼科·鲁阿波洛
  • 阿列克西·舒伯特
  • 康纳·史密斯
  • 克里斯蒂安·斯特纳格尔
  • 托马斯·斯特纳格尔
  • 卢茨斯特拉汉堡
  • 马丁·斯特雷克
  • 川崎捷瑞
  • 阿明·蒂曼尼
  • 洛伦佐托托拉·德·法尔科
  • 富山，吉藤义彦
  • 德米特里·特拉泰尔
  • 文森特·范·奥斯特罗姆
  • 杰米·维卡里
  • 德国维达尔
  • Daria Walukiewicz-Chrzaszcz公司
    		•

    		  
    Front Matter、目录、序言、指导委员会、项目委员会、外部评审员、组织委员会
    作者：凯斯纳，迪莉娅；碧姬·品特卡

    摘要|文档（362 KB）|BibTeX公司

    多语言世界中的组合编译器验证
    作者：阿马尔·艾哈迈德

    摘要|文档（252 KB）|BibTeX公司

    余代数与高阶计算：GoI方法
    作者：一郎·哈索

    摘要|文档（271 KB）|BibTeX公司

    通过识字函数编程和类型理论形式化教学计算和演绎基础
    作者：杰拉德·休特

    摘要|文档（230 KB）|BibTeX公司

    功能数据结构的验证分析
    作者：托比亚斯·尼普科

    摘要|文档（263 KB）|BibTeX公司

    基于Omega-Rule的无参数多形Lambda演算的强正规化。
    作者：Akiyoshi，Ryota；川崎捷瑞

    摘要|文档（583 KB）|BibTeX公司

    依赖类型评估归一化
    作者：托尔斯滕·阿滕柯奇；安布罗斯·卡波西

    摘要|文档（523 KB）|BibTeX公司

    不完全不一致推理的极小超定逻辑
    作者：奥费尔·阿列利；阿诺·阿夫隆

    摘要|文档（567 KB）|BibTeX公司

    BI序列演算中结构相互作用和结构规则的吸收
    作者：柳田有坂

    摘要|文档（568 KB）|BibTeX公司

    具有动态提示生成的有界控制算子的环境互模拟
    作者：安德烈斯·阿里斯蒂扎巴尔；Dariusz Biernacki；塞尔盖·伦格利特；彼得·波列修克

    摘要|文档（602 KB）|BibTeX公司

    非循环项图重写的复杂性
    作者：马丁·阿凡齐尼；格奥尔格·莫瑟

    摘要|文档（654 KB）|BibTeX公司

    标称变窄
    作者：毛里西奥·阿亚拉·林科；玛丽贝尔·费尔南德斯（Maribel Fernández）；丹尼尔·南特斯·索布里尼奥

    摘要|文档（710 KB）|BibTeX公司

    基于一阶直觉逻辑的函数程序综合
    作者：马钦·本克（Marcin Benke）；阿列克西·舒伯特；Daria Walukiewicz-Chrzaszcz公司

    摘要|文档（535 KB）|BibTeX公司

    连续模型中的经典提取
    作者：布洛特，瓦伦丁

    摘要|文档（466 KB）|BibTeX公司

    逻辑修饰图重写系统的正确性证明
    作者：乔恩·海尔·布伦纳斯；埃哈希德、拉希德；马丁·斯特雷克

    摘要|文档（612 KB）|BibTeX公司

    莫里斯观察理论的新成果：分离不可分割的事物的益处
    作者：弗拉维恩·布鲁瓦特；朱利奥·曼佐内托；Andrew Polonsky；多梅尼科·鲁阿波洛

    摘要|文档（675 KB）|BibTeX公司

    直觉模态逻辑的模块化集中证明系统
    作者：考斯托夫，乔杜里；索尼娅·马林；卢茨斯特拉汉堡

    摘要|文档（614 KB）|BibTeX公司

    马尔可夫原理在类型理论中的独立性
    作者：Coquand、Thierry；巴赛尔·曼纳

    摘要|文档（625 KB）|BibTeX公司

    论Lambda可定义性中的未定义与无意义
    作者：德弗里斯，Fer-Jan

    摘要|文档（510 KB）|BibTeX公司

    交集型统一问题
    作者：安德烈·杜登赫夫纳（Andrej Dudenhefner）；Moritz Martens；雅各布·雷霍夫

    摘要|文档（524 KB）|BibTeX公司

    从泰勒展开计算连通证明（-结构）
    作者：朱利奥·格雷里；Luc Pellissier；洛伦佐托托拉·德·法尔科

    摘要|文档（844 KB）|BibTeX公司

    利用二阶代数理论的迭代范畴实现循环数据计算的强规范化
    作者：Makoto滨那

    摘要|文档（702 KB）|BibTeX公司

    非Omega-Overlapping TRS为UN
    作者：斯特凡·卡尔斯（Stefan Kahrs）；康纳·史密斯

    摘要|文档（470 KB）|BibTeX公司

    复杂性层次结构和高阶无代价重写
    作者：科普、辛西娅；雅各布·格鲁·西蒙森

    摘要|文档（616 KB）|BibTeX公司

    移动的加权关系模型
    作者：詹姆斯·莱尔德

    摘要|文档（534 KB）|BibTeX公司

    专注于整形外科
    作者：奥利维·洛朗

    摘要|文档（525 KB）|BibTeX公司

    作为构造者的功能—高阶统一
    作者：托默·利巴尔（Tomer Libal）；戴尔·米勒

    摘要|文档（559 KB）|BibTeX公司

    项重写系统的同调计算
    作者：菲利普·马尔博斯（Philippe Malbos）；塞缪尔·米姆拉姆

    摘要|文档（512 KB）|BibTeX公司

    可逆术语重写
    作者：西田直树；阿德里安·帕拉西奥斯；Germán维达尔

    摘要|文档（580 KB）|BibTeX公司

    用精确树自动机完备证明几乎正交CTRS的合流
    作者：斯特纳格尔，克里斯蒂安；托马斯·斯特纳格尔

    摘要|文档（631 KB）|BibTeX公司

    Coq 8.5中的范畴理论
    作者：阿明·蒂曼尼；巴特·雅各布斯

    摘要|文档（547 KB）|BibTeX公司

    形式语言，形式化和创造性
    作者：德米特里·特雷特尔

    摘要|文档（506 KB）|BibTeX公司

    随机下降归一化
    作者：文森特·凡·奥斯特罗姆；富山，吉藤义彦

    摘要|文档（719 KB）|BibTeX公司

    基于重写归纳法的地面汇流校验仪
    作者：Aoto、Takahito；富山，吉藤义彦

    摘要|文档（535 KB）|BibTeX公司

    Globular:一种用于高维重写的在线校对助手
    作者：巴尔（Krzysztof Bar）；基辛格，Aleks；杰米·维卡里

    摘要|文档（1166 KB）|BibTeX公司

    交互自动机与ia2d解释器
    作者：基梅内兹，斯特芬；大卫·奥布瓦勒

    摘要|文档（578 KB）|BibTeX公司

    左线性右地重写系统重写的一阶理论自动化
    作者：弗兰齐斯卡·拉普；阿尔特·米德尔多普

    摘要|文档（502 KB）|BibTeX公司

    		  



    住宅跌落|全文搜索|印记|隐私 LZI出版