直纪小林（编辑） 第六届计算和扣除正式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。 （英语） Zbl 1465.68024号 LIPIcs–莱布尼茨国际信息学会议录195.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（ISBN 978-3-95977-191-7）。xvi，32篇文章，非连续页面，仅电子版，开放存取（2021年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1436.68012号].索引文章：保罗·唐恩（Paul Downen）；泽纳·M·阿里奥拉。《行动中的双重性》（受邀谈话），第1条，第32页[Zbl 07700606号]Nao Hirokawa《完成和减少订单》（邀请谈话），第2条，第9页[Zbl 07700607号]伊莱恩·皮门特尔（Elaine Pimentel）；卡洛斯·奥拉特（Carlos Olarte）；Vivek Nigam先生《过程-形式解释：一种亚结构多模态观点》（受邀谈话），第3条，第21页[兹比尔07700608]萨姆·斯塔顿，概率中的一些形式结构（邀请谈话），第4条，第4页[Zbl 07700609号]雅各布·格鲁·西蒙森，曾使用过一个变量的表达能力：乔姆斯基层次结构和一阶一元构造函数重写，第5条，第17页[Zbl 07700610号]Rick，Statman先生，Church的半群是sq-universal，第6条，第6页[Zbl 07700611号]阿克塞尔·克里内克；朱利奥·曼佐内托；Della Rocca Simona，Ronchi，再次调用值！，第7条，第18页[Zbl 07700612号]Tom De Jong；马丁·霍泽尔·埃斯卡多，《单价基础中秩序理论的预测方面》，第8条，第18页[Zbl 07700613号]蒂伯特·巴拉邦斯基；安托万·兰科；纪尧姆·梅尔金德，强大的按需计算能力，第9条，第22页[Zbl 07700614号]塞纳布·加拉尔，有限不确定性的双范畴模型，第10条，第17页[Zbl 07700615号]圣多美，肯吉；中泽，Koji；大辅木村《带有归纳命题的束逻辑循环证明系统中的消减失败》，第11条，第14页[Zbl 07700616号]聪、佑佑；Ishio，Chiaki；本田、卡霍；浅井，肯尼奇，类型化调用上下文的函数抽象，第12条，第18页[Zbl 07700617号]迪迪埃·加尔米奇（Didier Galmiche）；玛尔塔·加威克；丹尼尔·梅里，Beth语义学和带有身份的直觉句子演算的标记演绎，第13条，第21页[兹比尔07700618]达斯，阿努帕姆；赖斯（Alex A.Rice）。《独立于开关和中介的布尔逻辑中的新最小线性推理》，第14条，第19页[Zbl 07700619号]迪帕克·卡普尔，模结合交换（AC）同余闭包算法，第15条，第21页[Zbl 07700620号]麦加富井；浅井，肯尼奇，为四种定界控制操作符派生虚拟机，第16条，第19页[兹比尔07700621]布隆多-档案馆，里森；皮埃尔·克莱兰堡《无害战略的位置注入性》，第17条，第22页[Zbl 07700622号]多米尼克·拉切·温德林（Dominique Larchey-Wendling），通过Coq中机械化的FRACTRAN合成MSELL的不确定性，第18条，第20页[Zbl 07700623号]Kim，Dohan；克里斯托弗·林奇，基于RPO的有序模置换方程及其在重写系统中的应用，第19、17页[Zbl 07700624号]弗雷德里克·布兰基；Gilles Dowek；埃米莉·格里恩伯格；Gabriel Hondet；弗朗索瓦·瑟雷，数学的一些公理，第20、19页[Zbl 07700625号]约瑟夫·W·N·保卢斯。；Daniele Nantes-Sobrinho；佩雷斯（Jorge A.Pérez）。，作为非确定性过程的非确定性函数，第21条，第22页[Zbl 07700626号]尼科洛·维尔特里，有限幂集函子最后余代数的类型理论构造，第22条，第18页[Zbl 07700627号]乌戈·达尔拉戈；弗朗西斯科·加瓦佐，资源转移系统和线性高阶有效程序的完全抽象，第23条，第19页[Zbl 07700628号]文森特·范·奥斯特罗姆，Z；无句法发展，第24条，第22页[Zbl 07700629号]克里斯蒂娜·马塔奇；肖恩·莫斯；萨姆·斯塔顿《滑轮类别的递归性和顺序性》，第25条，第22页[Zbl 07700630号]彼得·霍夫斯特拉（Pieter Hofstra）；杰森·帕克；菲利普·斯科特。《多态自同构与Picard群》，第26条，第17页[Zbl 07700631号]保罗·皮斯通（Paolo Pistone）；卢卡·特兰奇尼，（原子）多态性的决定因素是什么？，第27条，第23页[Zbl 07700632号]汉斯·彼得·迪费尔（Hans-Peter Deifel）；斯特凡·米利厄斯；托尔斯滕·维曼，有效最小化的Coalgebra编码，第28条，第19页[Zbl 07700633号]达斯，阿努帕姆关于循环证明的汇合和规范化的逻辑强度，第29、23页[Zbl 07700634号]纳塔内尔·阿科尔；迪伦·麦克德莫特，抽象语法的抽象克隆，第30条，第19页[Zbl 07700635号]科普、辛西娅；迪维德·维尔，高阶复杂性的元组解释，第31条，第22页[Zbl 07700636号]Ken Sakayori；津田，武士，毫不延迟地输出：与范畴语义兼容的a（pi）-演算，第32条，第22页[Zbl 07700637号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 03B70号 计算机科学中的逻辑 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1436.68012号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔信息（Leibniz-Zentrum für Informatik）（2021；Zbl 1465.68024） 全文： 内政部 链接