迪莉娅·凯斯纳（编辑）;碧姬·品特卡（编辑） 2016年6月22日至26日在葡萄牙波尔图举行的第一届国际计算和扣除正式结构会议，FSCD 2016。诉讼程序。 （英语） Zbl 1351.68020号 LIPIcs–莱布尼茨国际信息学会议录52.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-010-1）。x、 36篇文章，非连续页面，仅电子版，开放存取（2016年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：Akiyoshi，Ryota；川崎捷瑞，基于\（\Omega\）-规则的无参数多态lambda演算的强规范化。，第5条，第15页[Zbl 1387.03010号]托尔斯滕·阿滕柯奇；安布罗斯·卡波西，通过评估依赖类型实现标准化，第6条，第16页[Zbl 1387.68060号]奥费尔·阿列利；阿诺·阿夫隆，不完全和不一致推理的极小游程有限逻辑，第7条，第15页[Zbl 1387.03026号]柳田有坂，BI序列演算中结构相互作用和结构规则的吸收，第8条，第18页[Zbl 1387.03027号]安德烈斯·阿里斯蒂扎巴尔；Dariusz Biernacki；塞尔盖·伦格利特；波兰人，带动态提示生成的定界控制运算符的环境互模拟，第9条，第17页[Zbl 1388.68021号]Martin Avanzini；乔治·莫瑟，非循环项图重写的复杂性，第10条，第18页[Zbl 1387.68141号]毛里西奥·阿亚拉·林科；玛丽贝尔·费尔南德斯（Maribel Fernández）；丹尼尔·南特斯·索布里尼奥《名义变窄》，第11条，第17页[Zbl 1387.68142号]马钦·本克（Marcin Benke）；阿列克西·舒伯特；Daria Walukiewicz-Chrzaszcz公司《借助一阶直觉逻辑合成函数程序》，第12条，第16页[Zbl 1387.68061号]布洛特，瓦伦丁，延续模型中的经典提取，第13条，第17页[Zbl 1387.68068号]乔恩·海尔·布伦纳斯；埃哈希德、拉希德；马丁·斯特雷克，证明逻辑修饰图重写系统的正确性，第14条，第15页[Zbl 1387.68144号]弗拉维恩·布鲁瓦特；朱利奥·曼佐内托；Andrew Polonsky；多梅尼科·鲁阿波洛《莫里斯观察理论的新结果：分离不可分割的事物的益处》，第15、18页[兹伯利1387.03011]考斯托夫，乔杜里；索尼娅·马林；卢茨斯特拉汉堡，直觉模态逻辑的模块化集中证明系统，第16条，第18页[Zbl 1387.03016号]Coquand、Thierry；巴赛尔·曼纳，类型论中马尔可夫原理的独立性，第17条，第18页[Zbl 1434.03137号]德弗里斯，Fer-Jan关于lambda可定义性中的未定义和无意义，第18条，第15页[Zbl 1387.68074号]安德烈·杜登赫夫纳（Andrej Dudenhefner）；Moritz Martens；雅各布·雷霍夫，交叉口类型统一问题，第19条，第16页[Zbl 1387.68062号]朱利奥·格雷里；Luc Pellissier；洛伦佐托托拉·德·法尔科，从泰勒展开式计算相关证明（-结构），第20条，第18页[Zbl 1387.03068号]马科托·哈马纳，通过二阶代数理论的迭代类别对循环数据计算进行强规范化，第21条，第18页[Zbl 1388.68188号]斯特凡·卡尔斯（Stefan Kahrs）；康纳·史密斯，非重叠TRS为联合国，第22条，第17页[Zbl 1387.03028号]科普、辛西娅；西蒙森，雅各布·格鲁《复杂性层次和高阶无意识重写》，第23条，第18页[Zbl 1387.68145号]詹姆斯·莱尔德，流动性的加权关系模型，第24条，第15页[Zbl 1387.68163号]奥利维·洛朗，聚焦于正交学，第25条，第17页[Zbl 1387.03073号]托默·利巴尔（Tomer Libal）；戴尔·米勒《函数作为构造者的高阶统一》，第26条，第17页[Zbl 1387.03008号]菲利普·马尔博斯（Philippe Malbos）；塞缪尔·米姆拉姆，术语重写系统的同调计算，第27条，第17页[兹伯利1387.68146]西田直树；阿德里安帕拉西奥斯；德国维达尔，可逆术语重写，第28条，第18页[Zbl 1387.68147号]斯特纳格尔，克里斯蒂安；托马斯·斯特纳格尔，通过精确的树自动机完成证明几乎正交的CTRS的汇合，第29条，第16页[Zbl 1388.68155号]阿明·蒂曼尼；巴特·雅各布斯，Coq 8.5中的范畴理论，第30条，第18页[Zbl 1387.68208号]德米特里·特拉泰尔，正式语言，正式的和共同的，第31条，第17页[Zbl 1387.68161号]文森特·凡·奥斯特罗姆；富山，吉藤义彦《随机下降标准化》，第32条，第18页[Zbl 1387.68151号]Aoto、Takahito；富山，吉藤义彦，基于重写归纳法的地面汇流证明，第33条，第12页[兹比尔1387.68205]巴尔（Krzysztof Bar）；基辛格，Aleks；杰米·维卡里《Global:高维重写的在线证明助手》，第34条，第11页[Zbl 1387.68206号]基梅内兹，斯特芬；大卫·奥布瓦勒，交互自动机和ia2d解释器，第35条，第11页[Zbl 1387.68112号]弗兰齐斯卡·拉普；阿尔特·米德尔多普，《自动实现左-右-地重写系统的一阶重写理论》，第36条，第12页[Zbl 1387.68149号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 03B70号 计算机科学中的逻辑 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 软件：Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}（ed.）和textit{B.Pientka}（edi.），第一届计算和演绎形式结构国际会议，FSCD 2016，葡萄牙波尔图，2016年6月22-26日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2016；Zbl 1351.68020） 全文： 链接 链接