第27届EACSL计算机科学逻辑年会（CSL 2018）

摘要

引用为

第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学会议录（LIPIcs），第119卷，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{ghica_et_al:LIPIcs.CSL.2018，title={{LIPIcs，第119卷，CSL'18，完整卷}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018},URN={URN:nbn:de:0030-drops-97444}，doi={10.4230/LIPIcs.CSL.2018}，annote={关键词：计算理论，软件及其工程，形式化语言定义，形式化软件验证}}

摘要

引用为

第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第0:i-0:xiv页，达格斯图尔-莱布尼兹-泽特鲁姆信息技术学院（2018）

@会议记录{ghica_et_al:LIPIcs.CSL.2018.0，author={吉卡、丹·R和荣格、阿希姆}，title={{正文，目录，前言，会议组织}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页面={0:i--0:xiv}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.CSL.2018.0},URN={URN:nbn:de:0030-drops-96679}，doi={10.4230/LIPIcs.CSL.2018.0}，annote={关键词：前沿问题、目录、序言、会议组织}}

摘要

引用为

德克斯特·科赞（Dexter Kozen）和托马斯·施温蒂克（Thomas Schwentick）。2018年阿克曼奖。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第1:1-1:5页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{kozen_et_al:LIPIcs.CSL.2018.1，author={Kozen，Dexter和Schwentick，Thomas}，title={2018年阿克曼奖}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={1:1--1:5}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积＝{119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.CSL.2018.1},URN＝{URN:nbn:de:00030-drops-96686}，doi={10.4230/LIPIcs.CSL.2018.1}，annote＝｛关键词：阿克曼奖｝}

摘要

引用为

萨姆森·阿布拉姆斯基和尼希尔·沙阿。关联结构和力量：计算资源的共鸣语义。在第27届EACSL计算机科学逻辑年会（CSL 2018）上。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第2:1-2:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{abramsky_et_al:LIPIcs.CSL.2018.2，作者＝{阿布拉姆斯基，萨姆森和沙阿，尼希尔}，title={{关联结构和权力：计算资源的共鸣语义}}，booktitle＝{第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={2:1--2:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.CSL.2018.2},URN={URN:nbn:de:0030-drops-96698}，doi={10.4230/LIPIcs.CSL.2018.2}，annote={关键词：有限模型理论，组合博弈，Ehrenfeucht-Fra\“{i} 不锈钢\'{e}游戏，卵石游戏，互模拟，共鸣，coKleisli范畴，共鸣的余代数}}

摘要

引用为

Faried Abu Zaid、Dietrich Kuske和Peter Lindner。用自动结构理论攀登初级复杂类。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第3:1-3:16页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{abuzaid_et_al:LIPIcs.CSL.2018.3，author={Abu Zaid、Faried和Kuske、Dietrich和Lindner、Peter}，title={{用自动结构理论攀登初等复杂类}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={3:1--3:16}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.CSL.2018.3},URN={URN:nbn:de:0030-drops-96701}，doi={10.4230/LIPIcs.CSL.2018.3}，annote={关键词：自动结构，复杂性理论，模型理论}}

摘要

引用为

Benedikt Ahrens、AndréHirschowitz、Ambroise Lafont和Marco Maggesi。高级签名和初始语义。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第4:1-4:22页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{ahrens_et_al:LIPIcs.CSL.2018.4，author={Ahrens、Benedikt和Hirschowitz、Andr'{e}和Lafont、Ambroise和Maggesi、Marco}，title={{高级签名和初始语义}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={4:1--4:22}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.CSL.2018.4},URN={URN:nbn:de:0030-drops-96713}，doi={10.4230/LIPIcs.CSL.2018.4}，annote={关键词：初始语义、签名、语法、一元替换、计算机检查证明}}

摘要

引用为

奥罗尔·阿尔科莱（Aurore Alcolei）、皮埃尔·克莱兰堡（Pierre Clairambault）、马丁·海兰德（Martin Hyland）和格林·温斯克（Glynn Winskel）。赫伯兰德定理的真正一致性。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第5:1-5:22页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{alcolei_et_al:LIPIcs.CSL.2018.5，author={Alcolei、Aurore和Clairambault、Pierre和Hyland、Martin和Winskel、Glynn}，title={{Herbrand定理的真正并发}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={5:1--5:22}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份＝{2018}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.5},URN={URN:nbn:de:0030-drops-96723}，doi＝{10.4230/LIPIcs.CSL.2018.5}，annote={关键词：赫布兰德定理，游戏语义，真正的并发}}

摘要

引用为

Carlo Angiuli、Kuen-Bang Hou（Favonia）和Robert Harper。笛卡尔三次计算类型理论：具有路径和等式的构造推理。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第6:1-6:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{angiuli_et_al:LIPIcs.CSL.2018.6，作者＝{Angiuli，Carlo和Hou（Favonia），Kuen Bang和Harper，Robert}，title={{笛卡尔立方计算类型理论：具有路径和等式的构造推理}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，pages={6:1-6:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份＝{2018}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.6},URN={URN:nbn:de:0030-drops-96734}，doi={10.4230/LIPIcs.CSL.2018.6}，annote={关键词：同伦类型理论，二级类型理论，计算类型理论，立方集}}

摘要

引用为

阿尔伯特·阿塞里亚斯和阿努杰·达瓦尔。难以定义的不可接近性：复印机面临的新挑战。第27届EACSL计算机科学逻辑年会（CSL 2018）。《莱布尼茨国际信息学论文集》，第119卷，第7:1-7:21页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2018）

@会议记录{atserias_et_al:LIPIcs.CSL.2018.7，author={Atserias，Albert和Dawar，Anuj}，title={{可定义的不接近性：复制器}}面临的新挑战，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={7:1--7:21}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.7},URN={URN:nbn:de:0030-drops-96742}，doi={10.4230/LIPIcs.CSL.2018.7}，annote={关键词：描述性复杂性，近似硬度，MAX SAT，顶点覆盖，带计数的定点逻辑}}

摘要

引用为

阿诺·阿夫隆（Arnon Avron）、沙哈·列夫（Shahar Lev）和尼桑·列维（Nissan Levi）。安全性、绝对性和可计算性。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第8:1-8:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{avron_et_al:LIPIcs.CSL.2018.8，author={Avron、Arnon和Lev、Shahar和Levi、Nissan}，title={{安全性、绝对性和可计算性}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={8:1--8:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/LIPIcs.CSL.2018.8},URN={URN:nbn:de:0030-drops-96754}，doi={10.4230/LIPIcs.CSL.2018.8}，annote={关键词：依赖安全性、可计算性、绝对性、可决定性、域独立性}}

摘要

引用为

Patrick Baillot和Alexis Ghyselen。结合线性逻辑和大小类型以实现隐含复杂性。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第9:1-9:21页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@诉讼中{baillot_et_al:LIPIcs.CSL.2018.9，author={Baillot、Patrick和Ghyselen、Alexis}，title={{组合线性逻辑和大小类型以实现隐含复杂性}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={9:1--9:21}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.9},URN={URN:nbn:de:0030-drops-96763}，doi={10.4230/LIPIcs.CSL.2018.9}，annote={关键词：隐式计算复杂性，lambda-calculus，线性逻辑，类型系统，多项式时间复杂性，大小类型}}

摘要

引用为

尼古拉·巴塞特（Nicolas Basset）、伊斯马·杰克（Ismaöl Jecker）、阿诺·保利（Arno Pauly）、珍妮·弗兰索瓦·拉斯金（Jean-François Raskin）和玛丽·范登·博加德（Marie Van den Bogaard）。超越可接受性：战略链之间的主导地位。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第10:1-10:22页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{basset_et_al:LIPIcs.CSL.2018.10，author={Basset、Nicolas和Jecker、Isma“{e} 我以及Pauly、Arno和Raskin、Jean-Fran{c} 操作系统和玛丽·范登·博加德，title={{超越可接受性：战略链之间的支配}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={10:1--10:22}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份＝{2018}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.10},URN={URN:nbn:de:0030-drops-96774}，doi＝{10.4230/LIPIcs.CSL.2018.10}，annote={关键词：支配策略，可容许策略，有限图上的对策，反应合成，可达对策，安全对策，共尾，序理论}}

摘要

引用为

尼古拉斯·贝尔（Nicolas Behr）和帕维尔·索博辛斯基（Pawel Sobocinski）。粘性范畴的规则代数。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第11:1-11:21页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@诉讼程序{behr_et_al:LIPIcs.CSL.2018.11，author={Behr，Nicolas和Sobocinski，Pawel}，title＝{粘合类别的规则代数}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={11:1--11:21}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.11},URN={URN:nbn:de:0030-drops-96781}，doi={10.4230/LIPIcs.CSL.2018.11}，annote={关键词：粘着范畴，规则代数，双推出（DPO）重写}}

摘要

引用为

曼纽尔·博德斯基、马塞洛·马米诺和卡特琳娜·维奥拉。无限域上的子模函数和值约束满足问题。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第12:12:22页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{bodirsky_et_al:LIPIcs.CSL.2018.12，author={博迪尔斯基、曼努埃尔和马米诺、马塞洛和维奥拉、卡特琳娜}，title={{无限域上的子模函数和值约束满足问题}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={12:1--12:22}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.12},URN={URN:nbn:de:0030-drops-96792}，doi={10.4230/LIPIcs.CSL.2018.12}，annote={关键词：有值约束满足问题，分段线性函数，子模函数，半线性，约束满足，优化，模型理论}}

摘要

引用为

菲利波·邦奇（Filippo Bonchi）、延斯·西伯（Jens Seeber）和帕维尔·索博辛斯基（Pawel Sobocinski）。图形连接查询。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第13:1-13:23页，达格斯图尔-莱布尼兹-泽特鲁姆·福尔信息技术学院（2018）

@会议记录{bonchi_et_al:LIPIcs.CSL.2018.13，author={Bonchi、Filippo和Seeber、Jens和Sobocinski、Pawel}，title={{图形连接查询}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={13:1--13:23}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.13},URN＝{URN:nbn:de:00030-drops-96805}，doi={10.4230/LIPIcs.CSL.2018.13}，annote={关键词：连接查询包含，字符串图，笛卡尔双类别}}

摘要

引用为

Rohit Chadha、A.Prasad Sistla和Mahesh Viswanathan。用正则语言逼近概率自动机。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第14:1-14:23页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{chadha_et_al:LIPIcs.CSL.2018.14，作者={Chadha，Rohit and Sistla，A.Prasad and Viswanathan，Mahesh}，title={{用正则语言逼近概率自动机}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={14:1--14:23}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.14},URN＝{URN:nbn:de:00030-drops-96815}，doi={10.4230/LIPIcs.CSL.2018.14}，annote={关键词：概率有限自动机，正则语言，歧义}}

摘要

引用为

朱尔斯·乔奎特（Jules Chouquet）和莱昂内尔·沃斯·奥克莱（Lionel Vaux Auclair）。无单位乘法线性逻辑中并行消去法在证明网泰勒展开中的应用。第27届EACSL计算机科学逻辑年会（CSL 2018）。《莱布尼茨国际信息学论文集》，第119卷，第15:1-15:17页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2018）

@会议记录{chouquet_et_al:LIPIcs.CSL.2018.15，author={Chouquet，Jules和Vaux Auclair，Lionel}，title＝{{无单位乘法线性逻辑中的并行割消去法在证明网的Taylor展开中的应用}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，pages＝{15:1-15:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.15},URN={URN:nbn:de:0030-drops-96828}，doi={10.4230/LIPIcs.CSL.2018.15}，annote={关键词：线性逻辑，证明网，截消，微分线性逻辑}}

摘要

引用为

皮埃尔·克莱兰堡和雨果·帕奎特。概率lambda演算的完全抽象模型。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第16:1-16:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{clairambault_et_al:LIPIcs.CSL.2018.16，author={Clairambault，Pierre和Paquet，Hugo}，title={{概率lambda-calculus}}的完全抽象模型，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={16:1--16:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.16},URN={URN:nbn:de:0030-drops-96835}，doi={10.4230/LIPIcs.CSL.2018.16}，annote={关键词：游戏语义，Lambda-calculus，概率编程，关系模型，完全抽象}}

摘要

引用为

Liron Cohen和Reuben N.S.Rowe。基于无限下降的传递闭包逻辑中的一致归纳推理。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第17:1-17:16页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{cohen_et_al:LIPIcs.CSL.2018.17，author={科恩、利伦和罗，鲁本N.S.}，title={{通过无限下降}}实现传递闭包逻辑中的统一归纳推理，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={17:1--17:16}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.17},URN={URN:nbn:de:0030-drops-96841}，doi={10.4230/LIPIcs.CSL.2018.17}，annote={关键词：归纳、传递闭包、无限证明系统、循环证明系统、健全性、完整性、标准语义、汉金语义}}

摘要

引用为

Anupam Das和Isabel Oitavem。正多项式时间函数的递归理论特征。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第18:1-18:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{das_et_al:LIPIcs.CSL.2018.18，作者={达斯、阿努帕姆和奥伊塔维姆、伊莎贝尔}，title={{正多项式时间函数的递归理论表征}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={18:1--18:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.18},URN={URN:nbn:de:0030-drops-96851}，doi={10.4230/LIPIcs.CSL.2018.18}，annote={关键词：单调复杂性，正复杂性，函数类，函数代数，递归理论特征，隐含复杂性，逻辑}}

摘要

引用为

阿努帕姆·达斯和达米安·普斯。（Kleene+作用）的非完备性证明理论（代数+格）。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第19:1-19:18页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{das_et_al:LIPIcs.CSL.2018.19，author={Das，Anupam和Pous，Damien}，title={{（Kleene+作用）（代数+格）}}的非完备性证明理论，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={19:1--19:18}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.19},URN={URN:nbn:de:0030-drops-96869}，doi={10.4230/LIPIcs.CSL.2018.19}，annote={关键词：Kleene代数，证明理论，序列系统，非完备证明}}

摘要

引用为

Anuj Dawar和Gregory Wilsenach。秩逻辑的对称电路。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第20:1-20:16页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{dawar_et_al:LIPIcs.CSL.2018.20，作者={Dawar，Anuj和Wilsenach，Gregory}，title={{秩逻辑的对称电路}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={20:1--20:16}，series={Leibniz国际信息学论文集（LIPIcs）}，ISBN＝{978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，编辑者＝{Ghica，Dan R.和Jung，Achim}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.20},URN＝{URN:nbn:de:00030-drops-96870}，doi={10.4230/LIPIcs.CSL.2018.20}，annote={关键词：秩不动点逻辑，电路，对称电路，统一电路族，电路表征，电路框架，有限模型理论，描述复杂性}}

摘要

引用为

保罗·唐恩（Paul Downen）和泽纳·M·阿里奥拉（Zena M.Ariola）。《超越极性：走向共享的多学科中间语言》，第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第21:1-21:23页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@在诉讼中{downn_et_al:LIPIcs.CSL.2018.21，author={Downen，Paul和Ariola，Zena M.}，title={{Beyond Polarity:迈向共享的多学科中间语言}}，booktitle＝{第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={21:1--21:23}，series={Leibniz国际信息学论文集（LIPIcs）}，ISBN＝{978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.21},URN={URN:nbn:de:0030-drops-96886}，doi={10.4230/LIPIcs.CSL.2018.21}，annote={关键词：按需调用，极性，按推调用值，控制}}

摘要

引用为

弗拉维奥·费拉罗蒂（Flavio Ferrarotti）、扬·范登·巴斯彻（Jan Van den Bussche）和乔尼·维特马（Jonni Virtema）。二阶传递-闭合逻辑中的表达性。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第22:1-22:18页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{ferrarotti_et_al:LIPIcs.CSL.2018.22，author={Ferrarotti、Flavio和Van den Bussche、Jan和Virtema、Jonni}，title={{二阶传递闭包逻辑中的表达式}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={22:1--22:18}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.22},URN={URN:nbn:de:0030-drops-96896}，doi={10.4230/LIPIcs.CSL.2018.22}，annote={关键词：表达能力，高阶逻辑，描述复杂性}}

摘要

引用为

Nathanaöl Fijalkow、Bastien Maubert、Aniello Murano和Sasha Rubin，《战略逻辑中的量化界限》。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第23:1-23:23页，达格斯图尔-莱布尼兹-泽特鲁姆·福尔信息学研究所（2018）

@会议记录{fijalkow_et_al:LIPIcs.CSL.2018.23，author={Fijalkow，Nathana\“{e} 我莫伯特、巴斯丁、穆拉诺、阿尼埃洛、鲁宾、萨沙，title={{量化策略逻辑中的界限}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页码={23:1--23:23}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.23},URN={URN:nbn:de:0030-drops-96901}，doi={10.4230/LIPIcs.CSL.2018.23}，annote={关键词：提示LTL、策略逻辑、模型检查、带计数器的自动机}}

摘要

引用为

W.John Gowers和James D.Laird。可数不确定性的完全抽象游戏语义。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第24:1-24:18页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{gowers_et_al:LIPIcs.CSL.2018.24，author={Gowers，W.John和Laird，James D.}，title={{可数非决定论的完全抽象博弈语义}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={24:1--24:18}，series={Leibniz国际信息学论文集（LIPIcs）}，ISBN＝{978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，编辑者＝{Ghica，Dan R.和Jung，Achim}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.24},URN＝{URN:nbn:de:00030-drops-96918}，doi={10.4230/LIPIcs.CSL.2018.24}，annote={关键词：语义、不确定性、游戏和逻辑}}

摘要

引用为

埃里希·格拉德尔和马蒂亚斯·霍尔泽尔。依赖性概念直至等价。第27届EACSL计算机科学逻辑年会（CSL 2018）。《莱布尼茨国际信息学论文集》，第119卷，第25:1-25:21页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2018）

@会议记录{gradel_et_al:LIPIcs.CSL.2018.25，author={Gr\“{a} 德尔、埃里奇和霍尔泽尔、马提亚斯}、，title＝{{依赖性概念直至等价}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={25:1--25:21}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.25},URN={URN:nbn:de:0030-drops-96921}，doi={10.4230/LIPIcs.CSL.2018.25}，annote={关键词：依赖和独立逻辑，团队语义，存在二阶逻辑，观察等价，表达能力}}

摘要

引用为

贝亚特里·贝拉德、帕特里夏·鲍耶和文森特·朱格。具有重叠轨迹的动力系统的有限互模拟。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第26:1-26:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2018）

@会议记录{berard_et_al：LIPIcs.CSL.2018.26，作者={B\'{e} 拉德，B\'{e} 阿特里奇以及Bouyer，Patricia和Jug，Vincent，title={{具有重叠轨迹动力系统的有限双模拟}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={26:1--26:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.26},URN={URN:nbn:de:0030-drops-96932}，doi={10.4230/LIPIcs.CSL.2018.26}，annote={关键词：可达性属性，动力系统，o-极小结构，相交轨迹，有限双模拟}}

摘要

引用为

托鲁·卡瓦塔。一元反射的语境重建。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第27:1-27:14页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@诉讼{kawata:LIPIcs.CSL.2018.27，author={卡瓦塔，托鲁}，title={{一元反射的语境重建}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={27:1--27:14}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.27},URN={URN:nbn:de:0030-drops-96947}，doi={10.4230/LIPIcs.CSL.2018.27}，annote={关键词：单数反射，分隔连续，移位/重置，上下文模态逻辑，Curry-Howard同构}}

摘要

引用为

Andreas Krebs、Kamal Lodaya、Paritosh K.Pandya和Howard Straubing。带中间关系的二元逻辑的代数决策过程。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第28:1-28:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2018）

@会议记录{krebs_et_al:LIPIcs.CSL.2018.28，author={克雷布斯、安德烈亚斯和洛达亚、卡马尔和潘迪亚、帕里托什·K·和斯特劳宾·霍华德}，title={{具有Between关系的二元逻辑的代数决策过程}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={28:1--28:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，编辑者＝{Ghica，Dan R.和Jung，Achim}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.28},URN={URN:nbn:de:0030-drops-96953}，doi＝{10.4230/LIPIcs.CSL.2018.28}，annote={关键词：二元逻辑，有限模型理论，代数自动机理论}}

摘要

引用为

阿利奥梅·洛佩兹和亚历克斯·辛普森。一般代数效应，特别是组合概率和不确定性的基本操作序数。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第29:1-29:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2018）

@会议记录{lopez_et_al:LIPIcs.CSL.2018.29，作者＝{Lopez，Aliaume和Simpson，Alex}，title={{一般代数效应的基本操作序数，特别是组合概率和不确定性}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页码＝{29:1-29:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份＝{2018}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.29},URN={URN:nbn:de:0030-drops-96965}，doi={10.4230/LIPIcs.CSL.2018.29}，annote={关键词：上下文等价、代数效应、操作语义、领域理论、不确定性、概率选择、马尔可夫决策过程}}

摘要

引用为

马丁·吕克。规范模型和模态团队逻辑的复杂性。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第30:1-30:23页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@会议记录{luck:LIPIcs.CSL.2018.30，作者={L\“{u} 确认，马丁}，title={{规范模型和模态团队逻辑的复杂性}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={30:1--30:23}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.30},URN={URN:nbn:de:0030-drops-96979}，doi＝{10.4230/LIPIcs.CSL.2018.30}，annote={关键词：团队语义、模式逻辑、复杂性、可满足性}}

摘要

引用为

P.Madhusudan、Umang Mathur、Shambwaditya Saha和Mahesh Viswanathan。二阶逻辑的一个可判定片断及其在合成中的应用。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第31:1-31:19页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@诉讼{madhusudan_et_al:LIPIcs.CSL.2018.31，作者={Madhusudan，P.和Mathur，Umang和Saha，Shambwaditya和Viswanathan，Mahesh}，title={{二阶逻辑的一个可判定片断及其在合成中的应用}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={31:1--31:19}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.31},URN={URN:nbn:de:0030-drops-96987}，doi={10.4230/LIPIcs.CSL.2018.31}，annote={关键词：二阶逻辑，综合，可判定片段}}

摘要

引用为

Dan Marsden和Maaike Zwart。资源理论的定量基础。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第32:1-32:17页，达格斯图尔-莱布尼兹-泽特鲁姆-富尔信息学研究所（2018）

@会议记录{marsden_et_al:LIPIcs.CSL.2018.32，author={Marsden，Dan和Zwart，Maaike}，title={{资源理论的定量基础}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={32:1--32:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.32},URN={URN:nbn:de:0030-drops-96996}，doi={10.4230/LIPIcs.CSL.2018.32}，annote={关键词：资源理论，丰富范畴，Profunctor，Monad，组合物种，多范畴，可操作，双模块}}

摘要

引用为

盖伊·麦库斯克（Guy McCusker）和阿莱西奥·桑塔马里亚（Alessio Santamaria）。关于双自然变换的构成。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第33:1-33:22页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2018）

@会议记录{mccusker_et_al:LIPIcs.CSL.2018.33，作者＝{麦克库斯克，盖伊和桑塔玛利亚，阿莱西奥}，title={{关于双自然变换的合成}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页码＝{33:1-33:22}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份＝{2018}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.33},URN={URN:nbn:de:0030-drops-97006}，doi={10.4230/LIPIcs.CSL.2018.33}，annote={关键词：二自然变换，范畴逻辑，合成}}

摘要

引用为

Daniel Neiler、Alexander Weinert和Martin Zimmermann。合成最佳弹性控制器。在第27届EACSL计算机科学逻辑年会（CSL 2018）上。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第34:1-34:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2018）

@会议记录{neider_et_al:LIPIcs.CSL.2018.34，author={Neider、Daniel和Weinert、Alexander和Zimmermann、Martin}，title={{合成最佳弹性控制器}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={34:1--34:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.34},URN={URN:nbn:de:0030-drops-97010}，doi={10.4230/LIPIcs.CSL.2018.34}，annote={关键词：控制器合成，无限游戏，弹性策略，干扰}}

摘要

引用为

雷米·诺列特（Rémi Nollet）、亚历克西斯·索林（Alexis Saurin）和克里斯汀·塔森（Christine Tasson）。不动点线性逻辑循环证明的局部有效性。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第35:1-35:23页，达格斯图尔-莱布尼兹-泽特鲁姆·福尔信息学研究所（2018）

@会议记录{nollet_et_al:LIPIcs.CSL.2018.35，author={Nollet，R{e} 英里和Saurin、Alexis和Tasson、Christine，title={{不动点线性逻辑循环证明的局部有效性}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={35:1--35:23}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.35},URN={URN:nbn:de:0030-drops-97025}，doi={10.4230/LIPIcs.CSL.2018.35}，annote={关键词：序列演算，非充分证明，循环证明，归纳，共归纳，不动点，证明搜索，线性逻辑，muMALL，有限化，无限下降}}

摘要

引用为

Sven Schewe、Alexander Weinert和Martin Zimmermann。重量均等游戏。第27届EACSL计算机科学逻辑年会（CSL 2018）。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第36:1-36:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学院（2018）

@会议记录{schewe_et_al:LIPIcs.CSL.2018.36，author={Schewe、Sven和Weinert、Alexander和Zimmermann、Martin}，title={{加权奇偶博弈}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={36:1--36:17}，series={Leibniz国际信息学论文集（LIPIcs）}，ISBN＝{978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，编辑者＝{Ghica，Dan R.和Jung，Achim}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.36},URN＝{URN:nbn:de:00030-drops-97037}，doi={10.4230/LIPIcs.CSL.2018.36}，annote={关键词：无限游戏，数量游戏，对等游戏}}

摘要

引用为

Kazushige Terui公司。无参数二阶逻辑的MacNeille完备性和Buchholz的Omega规则。在第27届EACSL计算机科学逻辑年会（CSL 2018）上。莱布尼茨国际信息学论文集（LIPIcs），第119卷，第37:1-37:19页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2018）

@诉讼程序{terui:LIPIcs.CSL.2018.37，author={Terui，Kazushige}，title={{MacNeille Completion和Buchholz的无参数二阶逻辑的Omega规则}}，booktitle={第27届EACSL计算机科学逻辑年会（CSL 2018）}，页数={37:1--37:19}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-088-0}，ISSN={1868-8969}，年份={2018年}，体积={119}，editor={吉卡，丹·R·和荣格，阿希姆}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.37},URN={URN:nbn:de:0030-drops-97049}，doi={10.4230/LIPIcs.CSL.2018.37}，annote={关键词：代数截消，无参数二阶逻辑，MacNeille补全，Omega-rule}}