贝内迪克特·博利格;卡琳·夸斯;阿诺德·桑尼尔 平冻LTL的复杂性。 （英语） Zbl 1442.68101号 日志。方法计算。科学。 15，第3号，第33号论文，第26页（2019年）.MSC公司：60年第68季度 03B44号 第68季度25 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bollig｝等人，日志。方法计算。科学。15，第3号，第33号论文，第26页（2019年；Zbl 1442.68101） 全文： 内政部 arXiv公司
朱利安·古铁雷斯;保罗·哈伦斯坦;朱塞佩·佩雷利;迈克尔·伍尔德里奇 纳什均衡和互模拟不变性。 （英语） Zbl 1442.68142号 日志。方法计算。科学。 15，第3号，第32号论文，49页（2019年）.MSC公司：第68季度85 03B70号 68T42型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人，《日志》。方法计算。科学。15，第3号，第32号论文，49页（2019年；Zbl 1442.68142） 全文： 内政部 arXiv公司
陈一佳;迈克尔·埃尔伯菲尔德;莫里茨·米勒 模型检验有界变量一阶逻辑的参数化空间复杂性。 （英语） Zbl 1494.68164号 日志。方法计算。科学。 15，第3号，第31号论文，29页（2019年）.MSC公司：60年第68季度 03B70号 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人，Log。方法计算。科学。15，第3号，第31号论文，29页（2019年；Zbl 1494.68164） 全文： 内政部 arXiv公司
谢尔盖·斯拉夫诺夫 关于线性逻辑的非对易扩张。 （英语） Zbl 1496.03253号 日志。方法计算。科学。 15，第3号，第30号论文，第25页（2019年）.MSC公司：第03页 PDF格式BibTeX公司 XML格式引用 \textit{S.Slavnov}，日志。方法计算。科学。15，第3号，第30号论文，25页（2019年；Zbl 1496.03253） 全文： 内政部 arXiv公司
迈克尔·本尼迪克特;皮埃尔·布赫斯;砰，迈克尔·范登 可判定不动点逻辑中的可定义性和插值。 （英语） 兹比尔1509.03088 日志。方法计算。科学。 15，第3号，第29号论文，53页（2019年）.MSC公司：03B70号 03B45号 03B25号 03C40号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人，日志。方法计算。科学。15，第3号，第29号论文，53页（2019年；Zbl 1509.03088） 全文： arXiv公司
托马斯·卡尔 共享变量系统的高维自动机建模。 （英语） Zbl 1426.68184号 日志。方法计算。科学。 15，第3号，第28号论文，21页（2019年）. 审核人：菲利普·高彻（巴黎） MSC公司：第68季度85 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kahl}，日志。方法计算。科学。15，第3号，第28号论文，21页（2019年；Zbl 1426.68184） 全文： arXiv公司
Mikołaj博扬奇克;菲利波·卡瓦拉里;托马斯·普莱斯;Micha Skrzypczak 低级Wadge层次结构中的常规树语言。 （英语） Zbl 1509.03144号 日志。方法计算。科学。 15，第3号，第27号论文，第61页（2019）.MSC公司：03E15年 05年3月 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}等人，《日志》。方法计算。科学。15，第3号，第27号论文，61页（2019年；Zbl 1509.03144） 全文： arXiv公司
乔瓦尼·德·费利塞;阿马尔·哈齐哈萨诺维奇;吴康峰 费米子量子电路的图解演算。 （英语） Zbl 1421.81027号 日志。方法计算。科学。 15，第3号，第26号论文，第34页（2019年）.MSC公司：81页68 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{G.de Felice}等人，日志。方法计算。科学。15，第3号，第26号论文，34页（2019年；Zbl 1421.81027） 全文： arXiv公司
托马斯·塞勒 交互图：指数。 （英语） Zbl 1509.03168号 日志。方法计算。科学。 15，第3号，第25号论文，58页（2019年）.MSC公司：第03页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Seiller}，日志。方法计算。科学。15，第3号，第25号论文，58页（2019年；Zbl 1509.03168） 全文： arXiv公司
迪奥戈·波萨;杰弗里·祖克 GPAC中的近似性。 （英语） Zbl 1509.03141号 日志。方法计算。科学。 15，第3号，第24号论文，第24页（2019年）.MSC公司：03D78号 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Poças}和\textit{J.Zucker}，日志。方法计算。科学。15，第3号，第24号论文，24页（2019年；Zbl 1509.03141） 全文： arXiv公司
卡斯滕·卢茨;伊南·塞兰;弗兰克·沃尔特 带有闭合谓词的本体论中介查询的数据复杂性。 （英语） 兹比尔1509.68258 日志。方法计算。科学。 15，第3号，第23号论文，54页（2019年）.MSC公司：68立方英尺 第68页，共15页 第68季度25 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}等人，日志。方法计算。科学。15，第3号，第23号论文，54页（2019年；Zbl 1509.68258） 全文： arXiv公司
戈卡尔普·德米尔西;Mika Hirvensalo;克劳斯·莱因哈特;喂，A.C.杰姆;亚卡里·马茨，阿布泽尔 交替、私有交替和量子交替实时自动机。 （英语） Zbl 1509.68067号 日志。方法计算。科学。 15，第3号，第22号论文，21页（2019年）.MSC公司：04年第68季度 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{G.Demirci}等人，日志。方法计算。科学。15，第3号，第22号论文，21页（2019年；Zbl 1509.68067） 全文： arXiv公司
达纳州安格鲁因;蒂莫斯·安东尼奥普洛斯;达纳·菲斯曼 多项式时间内派生树语言的查询学习。 （英语） Zbl 1434.68210号 日志。方法计算。科学。 15，第3号，第21号论文，29页（2019年）.MSC公司：第68季度32 第68季度25 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人，日志。方法计算。科学。15，第3号，第21号论文，29页（2019年；Zbl 1434.68210） 全文： arXiv公司
斯文·舍韦;亚历山大·韦内特;马丁·齐默尔曼 重量均等游戏。 （英语） Zbl 1509.68104号 日志。方法计算。科学。 15，第3号，第20号论文，50页（2019年）.MSC公司：第68季度25 2017年第68季度 60年第68季度 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}等人，日志。方法计算。科学。15，第3号，第20号论文，50页（2019年；Zbl 1509.68104） 全文： arXiv公司
Nao Hirokawa;阿德尔德多尔普;克里斯蒂安·斯特纳格尔;莎拉·温克勒 抽象完成，形式化。 （英语） Zbl 1509.68119号 日志。方法计算。科学。 15，第3号，第19号论文，第42页（2019）.MSC公司：2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Hirokawa}等人，《日志》。方法计算。科学。15，第3号，第19号论文，42页（2019年；Zbl 1509.68119） 全文： arXiv公司
约塔姆·M·Y·费尔德曼。;奥德·帕顿;尼尔·伊梅尔曼;穆利·萨吉夫;沙龙·肖姆 用于检查归纳不变量的有界量词实例化。 （英语） Zbl 1509.68162号 日志。方法计算。科学。 15，第3号，第18号论文，47页（2019年）.MSC公司：60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.M.Y.Feldman}等人，《日志》。方法计算。科学。15，第3号，第18号论文，47页（2019年；Zbl 1509.68162） 全文： arXiv公司
马丁·吕克;米卡·维兰德 关于依赖原子的简洁性。 （英语） Zbl 1509.03082号 日志。方法计算。科学。 15，第3号，第17号论文，28页（2019年）.MSC公司：03B60 03B45号 03B70号 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{M.Lück}和\textit{M.Vilander}，Log。方法计算。科学。15，第3号，第17号论文，28页（2019年；Zbl 1509.03082） 全文： arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 概率语义下的定量自动机。 （英语） Zbl 1442.68086号 日志。方法计算。科学。 15，第3号，第16号论文，45页（2019年）.MSC公司：65年第68季度 03B25号 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，日志。方法计算。科学。15，第3号，第16号论文，45页（2019年；Zbl 1442.68086） 全文： arXiv公司
亚历克斯·基辛格;桑德·尤伊伦 因果结构的范畴语义。 （英语） 兹比尔1442.68146 日志。方法计算。科学。 15，第3号，第15号论文，48页（2019年）.MSC公司：第68季度85 03G30型 18 C50 第81页，共16页 PDF格式BibTeX公司 XML格式引用 \textit{A.基辛格}和\textit{S.Uijlen}，Log。方法计算。科学。15，第3号，第15号论文，48页（2019年；Zbl 1442.68146） 全文： arXiv公司
Damien Pous;朱里安·罗特 同伴、因果关系和共感。 （英语） Zbl 1442.68150号 日志。方法计算。科学。 15，第3号，第14号论文，36页（2019年）.MSC公司：第68季度85 03B70号 06B23号 08A70型 18立方厘米 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Pous}和\textit{J.Rot}，Log。方法计算。科学。15，第3号，第14号文件，第36页（2019年；兹bl 1442.68150） 全文： arXiv公司
马修·德·布莱希特;Tatsuji Kawai 关于幂空间结构的可交换性。 （英语） Zbl 1528.06017号 日志。方法计算。科学。 15，第3号，第13号论文，第25页（2019年）.MSC公司：2012年2月6日 03E15年 06B35号 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{M.de Brecht}和\textit{T.Kawai}，Log。方法计算。科学。15，第3号，第13号论文，25页（2019年；Zbl 1528.06017） 全文： arXiv公司
阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 方程的发散性和唯一解。 （英语） Zbl 1442.68134号 日志。方法计算。科学。 15，第3号，第12号论文，第34页（2019年）.MSC公司：第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Durier}等人，Log。方法计算。科学。15，第3号，第12号论文，34页（2019年；Zbl 1442.68134） 全文： arXiv公司
雨果·诺布雷加;保罗，阿诺 Weihrauch度中的博弈特征和下锥。 （英语） Zbl 1484.03098号 日志。方法计算。科学。 15，第3号，第11号论文，29页（2019年）.MSC公司：03E15年 03日30分 03D78号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{H.Nobrega}和\textit{A.Pauly}，Log。方法计算。科学。15，第3号，第11号论文，29页（2019年；Zbl 1484.03098） 全文： arXiv公司
斯特凡诺·贝拉尔迪;Makoto Tatsuta Martin-Löf归纳定义的经典体系并不等价于循环证明。 （英语） Zbl 1509.03158号 日志。方法计算。科学。 15，第3号，第10号论文，第25页（2019）.MSC公司：07年3月 03日70 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi}和\textit{M.Tatsuta}，日志。方法计算。科学。15，第3号，第10号论文，25页（2019年；Zbl 1509.03158） 全文： arXiv公司
莱昂内尔·沃克斯 通过资源向量的并行约简，规范化非确定性（λ）项的泰勒展开。 （英语） Zbl 1509.03060号 日志。方法计算。科学。 15，第3号，第9号论文，57页（2019年）.MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Vaux}，日志。方法计算。科学。15，第3号，第9号文件，第57页（2019年；Zbl 1509.03060） 全文： arXiv公司
维克托·马绍尔 使用LSDF约定确定可识别集的周期的有效算法。 （英语） Zbl 1437.68102号 日志。方法计算。科学。 15，第3号，第8号论文，30页（2019年）.MSC公司：65年第68季度 11B85号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{V.Marsault}，日志。方法计算。科学。15，第3号，第8号论文，30页（2019年；Zbl 1437.68102） 全文： arXiv公司
Nathalie Bertrand;米希尔·德瓦斯卡;布莱斯·基内斯特;雨果·金伯特;阿德韦特·阿米特·戈博莱 控制人口。 （英语） Zbl 1437.68176号 日志。方法计算。科学。 15，第3号，第7号论文，30页（2019年）.MSC公司：68T42型 2017年第68季度 65年第68季度 60年第68季度 第68季度85 91A80型 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，日志。方法计算。科学。15，第3号，第7号论文，30页（2019年；Zbl 1437.68176） 全文： arXiv公司
欧文·恩格尔 被遗忘的证据理论？ （英语） 兹比尔1509.03157 日志。方法计算。科学。 15，第3号，第6号论文，第6页（2019年）.MSC公司：03年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Engeler}，日志。方法计算。科学。15，第3号，第6号论文，第6页（2019年；Zbl 1509.03157） 全文： arXiv公司
劳伦斯·邓恩;杰米·维卡里 Frobenius伪幺半群的相干性和线性证明的几何。 （英语） Zbl 1509.03165号 日志。方法计算。科学。 15，第3号，第5号论文，30页（2019年）.MSC公司：第03页 2005年8月 PDF格式BibTeX公司 XML格式引用 \textit｛L.Dunn｝和\textit｛J.Vicary｝，日志。方法计算。科学。15，第3号，第5号论文，30页（2019年；Zbl 1509.03165） 全文： arXiv公司
阿努吉·达瓦尔;埃里克科普琴斯基 来自小可加类的随机图的逻辑属性。 （英语） Zbl 1475.03085号 日志。方法计算。科学。 15，第3号，第4号论文，第12页（2019年）. 审核人：Vera Koponen（乌普萨拉） MSC公司：03C13号机组 60二氧化碳 05C80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}和\textit{E.Kopczyñski}，Log。方法计算。科学。15，第3号，第4号论文，第12页（2019年；Zbl 1475.03085） 全文： arXiv公司
本杰明·罗斯曼 子空间变量\（\mathrm{AC}^0\）公式。 （英语） Zbl 1437.68061号 日志。方法计算。科学。 第15号，第3期，第3号论文，第12页（2019年）.MSC公司：2006年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Rossman}，日志。方法计算。科学。15，第3号，第3篇论文，第12页（2019年；Zbl 1437.68061） 全文： arXiv公司
白瑞特·格鲁伊恩 在弦无爪图上捕获对数空间和多项式时间。 （英语） Zbl 1440.68108号 日志。方法计算。科学。 15，第3号，第2号论文，34页（2019年）.MSC公司：19年第68季度 2015年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Grußien}，日志。方法计算。科学。15，第3号，第2号论文，34页（2019年；Zbl 1440.68108） 全文： arXiv公司
谢尔盖·冈查洛夫;卢茨·施罗德;克里斯托夫·劳赫;马西耶·皮罗格 广义过程的有保护和无保护迭代。 （英语） Zbl 1467.68082号 日志。方法计算。科学。 15，第3号，第1号论文，47页（2019年）. 审核人：吉列尔莫·莫拉莱斯·卢纳（墨西哥城） MSC公司：68问题55 18立方厘米 18个C20 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人，日志。方法计算。科学。15，第3号，第1号论文，47页（2019年；Zbl 1467.68082） 全文： arXiv公司