劳拉·博奇;Lanese,伊万;克劳迪奥·安塔雷斯·梅齐纳;袁,Shoji 版次TPL:可逆时间过程语言。 (英语) Zbl 07814919号 日志。计算方法。科学。 20,第1号,第11号论文,35页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,日志。计算方法。科学。20,第1号,第11号论文,35页(2024;Zbl 07814919) 全文: 内政部 arXiv公司
托马斯·科尔科姆贝特;纳塔娜·菲亚尔科夫;霍恩,弗洛里安 十年后,谨慎行事。 (英语) Zbl 07814918号 日志。计算方法。科学。 20,第1号,第10号论文,16页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Colcombet}等人,《日志》。计算方法。科学。20,第1号,第10号论文,第16页(2024;Zbl 07814918) 全文: 内政部 arXiv公司
佛罗伦萨卡佩利;尼古拉·克罗塞蒂;约阿希姆·尼伦;简·拉蒙 带有连接数据库查询的线性程序。 (英语) Zbl 07814917号 日志。计算方法。科学。 20,第1号,第9号论文,48页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Capelli}等人,日志。计算方法。科学。20,第1号,第9号论文,48页(2024;Zbl 07814917) 全文: 内政部 arXiv公司
比尼特·戈什;埃蒂安·安德烈 使用边界模型对分散的不确定日志进行离线和在线节能监测。 (英语) Zbl 07789013号 日志。计算方法。科学。 20,第1号,第2号论文,33页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}和\textit{埃米·安德烈},日志。计算方法。科学。20,第1号,第2号论文,33页(2024;Zbl 07789013) 全文: 内政部 arXiv公司
库兹涅佐夫(Stepan L.Kuznetsov)。 具有交集和常数的Lambek演算的关系模型。 (英语) Zbl 07789004号 日志。计算方法。科学。 19,第4号,第32号文件,第27页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kuznetsov},日志。计算方法。科学。19,第4号,第32号论文,第27页(2023;Zbl 07789004) 全文: 内政部 arXiv公司
Nguyán、LáThánh Dũng;卢茨斯特拉汉堡 相互作用和结构的系统。III: 复杂性英属维尔京群岛和Pomset逻辑。 (英语) Zbl 07788997号 日志。计算方法。科学。 19,第4号,第25号论文,60页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.T.D.Nguyén}和\textit{L.Straßburger},Log。计算方法。科学。19,第4号,第25号论文,60页(2023年;Zbl 07788997) 全文: 内政部 arXiv公司
劳拉·博奇;朱利安·兰格;西蒙·汤普森;Voinea,A.劳拉 演员和灰色失败的模型。 (英语) Zbl 07788985号 日志。计算方法。科学。 19,第4号,第13号论文,29页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,日志。计算方法。科学。19,第4号,第13号论文,29页(2023;Zbl 07788985) 全文: 内政部 arXiv公司
谢尔盖·斯拉夫诺夫 使一阶线性逻辑成为生成语法。 (英语) Zbl 07788983号 日志。计算方法。科学。 19,第4号,第11号论文,35页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Slavnov},日志。计算方法。科学。19,第4号,第11号文件,第35页(2023;Zbl 07788983) 全文: 内政部 arXiv公司
阿希姆·布卢门塔什 树代数的幂集构造。 (英语) Zbl 07788981号 日志。计算方法。科学。 19,第4号,第9号论文,47页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumentach},日志。计算方法。科学。19,第4号,第9号论文,47页(2023年;Zbl 07788981) 全文: 内政部 arXiv公司
萨姆森·艾布拉姆斯基;卢卡·雷吉奥 树木分类:资源公理化理论。 (英语) Zbl 07731942号 日志。计算方法。科学。 19,第3号,第14号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{L.Reggio},日志。计算方法。科学。19,第3号,第14号论文,36页(2023;Zbl 07731942) 全文: 内政部 arXiv公司
亚历山大·科扎钦斯基 连续的位置收益。 (英语) Zbl 07731938号 日志。计算方法。科学。 19,第3号,第10号论文,40页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Alexander},日志。计算方法。科学。19,第3号,第10号论文,40页(2023;Zbl 07731938) 全文: 内政部 arXiv公司
米歇尔·洛雷蒂;米歇拉·夸迪尼 简单模型的空间逻辑。 (英语) Zbl 07731936号 日志。计算方法。科学。 19,第3号,第8号论文,25页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Loreti}和\textit{M.Quadrini},日志。计算方法。科学。19,第3号,第8号论文,25页(2023;Zbl 07731936) 全文: 内政部 arXiv公司
托拜厄斯·隆格;塔比亚·博迪斯;亚历克斯·波坦;托马斯·图姆;伊娜·谢弗 灵活的正确施工规划。 (英语) Zbl 07731927号 日志。计算方法。科学。 19,第2号,第16号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人,日志。计算方法。科学。19,第2号,第16号论文,36页(2023;Zbl 07731927) 全文: 内政部 arXiv公司
乌鸦·贝特纳;伯恩德·芬克贝纳 HyperATL公司\(^*\):多代理系统中超属性的逻辑。 (英语) Zbl 07731924号 日志。计算方法。科学。 19,第2号,第13号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Beutner}和\textit{B.Finkbeiner},日志。计算方法。科学。19,第2号,第13号论文,第44页(2023;Zbl 07731924) 全文: 内政部 arXiv公司
Jan Friso,格鲁特;简·马滕斯;埃里克·P·德文克。 通过分区细化进行交互模拟的下限。 (英语) Zbl 07731921号 日志。计算方法。科学。 19,第2号,第10号论文,第26页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,日志。计算方法。科学。19,第2号,第10号论文,第26页(2023;Zbl 07731921) 全文: 内政部 arXiv公司
贾斯敏·布兰切特;佩塔·武克米罗维奇 SAT激励的高阶消除。 (英语) Zbl 07731920号 日志。计算方法。科学。 19,第2号,第9号论文,23页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Blanchette}和\textit{P.Vukmirović},日志。计算方法。科学。19,第2号,第9号论文,23页(2023;Zbl 07731920) 全文: 内政部 arXiv公司
乍得内斯特 并发过程历史记录和资源转换器。 (英语) Zbl 07667097号 日志。计算方法。科学。 19,第1号,第7号论文,22页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Nester},日志。计算方法。科学。19,第1号,第7号论文,22页(2023;Zbl 07667097) 全文: 内政部 arXiv公司
伊戈尔·康诺夫;玛丽亚娜·拉齐奇;伊利娜·斯托尔科夫斯卡;约瑟夫·威德 阈值自动机和拜占庭模型检查器参数化验证综述。 (英语) Zbl 07667095号 日志。计算方法。科学。 19,第1号,第5号论文,25页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人,日志。计算方法。科学。19,第1号,第5号论文,25页(2023;Zbl 07667095) 全文: 内政部 arXiv公司
洛科·德尼古拉;埃尔南·梅尔格拉蒂 多方测试预订单。 (英语) Zbl 07639918号 日志。计算方法。科学。 19,第1期,第1号论文,31页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{H.Melgratti},日志。计算方法。科学。19,第1期,第1号论文,第31页(2023年;Zbl 07639918) 全文: 内政部 arXiv公司
玛丽·法雷尔;罗莎玛丽·莫纳汉;詹姆斯·F·鲍尔(James F.Power)。 Event-B机构的建筑规范。 (英语) Zbl 07639912号 日志。计算方法。科学。 18,第4期,第4号论文,55页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Farrell}等人,《日志》。计算方法。科学。18,第4期,第4号论文,55页(2022;Zbl 07639912) 全文: 内政部 arXiv公司
鲁帕克·马朱姆达尔;拉马纳森·S·蒂尼亚姆。;乔治·泽采 异步共享内存程序的一般可判定性结果:高阶及更高阶。 (英语) Zbl 07639910号 日志。计算方法。科学。 18,第4号,第2号论文,30页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,日志。计算方法。科学。18,第4号,第2号论文,30页(2022;Zbl 07639910) 全文: 内政部 arXiv公司
苏古曼·班萨尔;斯瓦拉特·乔杜里;莫舍·瓦尔迪。 定量验证中的比较自动机。 (英语) 兹比尔07577577 日志。计算方法。科学。 18,第3号,第13号论文,28页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Bansal}等人,日志。计算方法。科学。18,第3号,第13号论文,28页(2022;Zbl 07577577) 全文: arXiv公司 链接
巴拉特·阿德苏尔;保罗·加斯廷;萨卡,萨塔尔希;韦尔·帕斯卡 并发行为的异步环积和级联分解。 (英语) Zbl 07566078号 日志。计算方法。科学。 18,第2号,第22号论文,44页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Adsul}等人,日志。计算方法。科学。18,第2号,第22号文件,第44页(2022;Zbl 07566078) 全文: arXiv公司 链接
油炸,Dror;Legay、Axel;约尔·瓦克宁;莫舍·瓦尔迪。 顺序关系分解。 (英语) Zbl 1497.68173号 日志。计算方法。科学。 18,第1号,第37号论文,第29页(2022年).MSC公司:第68季度01 2006年第68季度 第68季度25 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Fried}等人,Log。计算方法。科学。18,第1号,第37号论文,第29页(2022年;Zbl 1497.68173) 全文: arXiv公司 链接
罗宾·Eßmann;托比亚斯·尼普科;西蒙·罗比拉德;乌伊坎苏莱曼尼 验证的近似算法。 (英语) Zbl 07566049号 日志。计算方法。科学。 18,第1号,第36号文件,第21页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Eßmann}等人,《日志》。计算方法。科学。18,第1号,第36号论文,第21页(2022;Zbl 07566049) 全文: arXiv公司 链接
杰雷米·杜布特;Akihisa山田 非传递关系的不动点定理。 (英语) Zbl 07471719号 日志。计算方法。科学。 18,第1号,第30号论文,24页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubut}和\textit{A.Yamada},日志。计算方法。科学。18,第1号,第30号论文,24页(2022;Zbl 07471719) 全文: arXiv公司 链接
卡洛斯·卡米诺;沃尔克·迪克特;Besik Dundua;马林·米尔恰;塞尼泽格斯,热罗 无限树的正则匹配问题。 (英语) Zbl 07471714号 日志。计算方法。科学。 18,第1号,第25号论文,38页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Camino}等人,日志。计算方法。科学。18,第1号,第25号论文,第38页(2022;Zbl 07471714) 全文: arXiv公司 链接
帕特里夏·鲍耶;勒鲁(Le Roux,Stéphane);尤索夫·乌阿尔哈德;米凯尔·兰多尔;皮埃尔·范登霍夫 游戏中,您可以使用与竞技场无关的有限内存进行最佳游戏。 (英语) Zbl 07471700号 日志。计算方法。科学。 18,第1号,第11号论文,44页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Log。计算方法。科学。18,第1号,第11号文件,第44页(2022;Zbl 07417700) 全文: arXiv公司 链接
卡罗琳娜·莱赫蒂宁;马丁·齐默尔曼 Good-for-games(\omega)-下推自动机。 (英语) Zbl 1518.68182号 日志。计算方法。科学。 18,第1号,第3号论文,35页(2022年).MSC公司:65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Lehtinen}和\textit{M.Zimmermann},日志。计算方法。科学。18,第1号,第3号论文,35页(2022年;Zbl 1518.68182) 全文: arXiv公司 链接
托马斯·布伦戈斯 联合大脑采取常规和(ω)-常规行为。 (英语) Zbl 07471684号 日志。计算方法。科学。 17,第4号,第24号论文,46页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos},日志。计算方法。科学。17,第4号,第24号论文,46页(2021;Zbl 07471684) 全文: arXiv公司 链接
佩塔·武克米罗维奇;亚历山大·本特坎普;Nummelin,维萨卡 高效的全高阶统一。 (英语) Zbl 07471678号 日志。计算方法。科学。 17,第4号,第18号论文,31页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人,日志。计算方法。科学。17,第4号,第18号论文,31页(2021;Zbl 07471678) 全文: arXiv公司 链接
G.Michele Pinna 事件结构中依赖关系的新操作表示。 (英语) Zbl 07471676号 日志。计算方法。科学。 17,第4号,第16号论文,30页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Pinna},日志。计算方法。科学。17,第4号,第16号论文,30页(2021;Zbl 07471676) 全文: arXiv公司 链接
托马斯·科尔科姆贝特;纳塔娜·菲亚尔科夫;皮埃尔·奥曼 控制随机人群。 (英语) Zbl 07471672号 日志。计算方法。科学。 17,第4号,第12号论文,21页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Colcombet}等人,日志。计算方法。科学。17,第4号,第12号论文,21页(2021;Zbl 07471672) 全文: arXiv公司 链接
丹·赫内斯特;Trifonov、Trifon 模态功能(“Dialectica”)解释。 (英语) Zbl 07471663号 日志。计算方法。科学。 17,第4号,第3号论文,29页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Hernest}和\textit{T.Trifonov},日志。计算方法。科学。17,第4号,第3号论文,29页(2021;Zbl 07471663) 全文: arXiv公司 链接
马里奥·阿尔瓦雷斯·皮卡略;Jean-Simon,Pacaud Lemay 笛卡尔差分类别。 (英语) Zbl 1524.18011号 日志。计算方法。科学。 17,第3号,第23号论文,48页(2021年).MSC公司:18日第15天 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Alvarez-Picallo}和\textit{J.-S.Pacaud-Lemay},Log。计算方法。科学。17,第3号,第23号论文,48页(2021;Zbl 1524.18011) 全文: arXiv公司 链接
托马斯·内勒;安蒂·瓦尔马里;Tim A.C.Willemse。 口吃保护性偏序减少的标签不一致问题的详细说明。 (英语) Zbl 07407780号 日志。计算方法。科学。 17,第3号,第8号论文,27页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Neele}等人,《日志》。计算方法。科学。17,第3号,第8号论文,27页(2021;Zbl 07407780) 全文: arXiv公司 链接
亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;乌韦·沃尔德曼 无λ高阶逻辑的叠加。 (英语) Zbl 07350767号 日志。计算方法。科学。 17,第2号,第1号论文,38页(2021).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人,日志。计算方法。科学。17,第2号,第1号论文,38页(2021;Zbl 07350767) 全文: arXiv公司 链接
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 两层可达博弈的顽固集约简。 (英语) Zbl 1501.68002号 日志。计算方法。科学。 17,第1号,第21号论文,第26页(2021年). 审核人:马可·贝尼尼(科莫) MSC公司:第68季度85 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,日志。计算方法。科学。17,第1号,第21号论文,第26页(2021;Zbl 1501.68002) 全文: arXiv公司 链接
约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;Tjark韦伯 标称过渡系统的模态逻辑。 (英语) Zbl 1509.68188号 日志。计算方法。科学。 17,第1号,第6号论文,49页(2021年).MSC公司:第68季度85 03B45号 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Parrow}等人,日志。计算方法。科学。17,第1号,第6号论文,49页(2021;Zbl 1509.68188) 全文: arXiv公司 链接
马里奥·布拉维蒂 公理化最大进度和离散时间。 (英语) Zbl 1509.68183号 日志。计算方法。科学。 17,第1期,第1号论文,44页(2021年).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti},日志。计算方法。科学。17,第1期,第1号论文,44页(2021;Zbl 1509.68183) 全文: arXiv公司 链接
达斯,阿努帕姆;科林·里巴 无限树的函数(一元)二阶理论。 (英语) Zbl 07269253号 日志。计算方法。科学。 16,第4号,第6号论文,83页(2020年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{C.Riba},日志。计算方法。科学。16,第4号,第6号论文,83页(2020;Zbl 07269253) 全文: arXiv公司 链接
尼古拉斯·贝尔;文森特·达诺斯;伊利亚斯·加尼尔 随机重写系统的组合变换和矩互模拟。 (英语) Zbl 1528.68153号 日志。计算方法。科学。 16,第3期,第3号论文,45页(2020年).MSC公司:2012年第68季度 18B50型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr}等人,日志。计算方法。科学。16,第3期,第3号论文,45页(2020年;Zbl 1528.68153) 全文: arXiv公司 链接
约尔格恩德鲁利斯;扬·威廉·克鲁普;Overbeek,罗伊 汇流和换向的递减图。 (英语) Zbl 1528.68158号 日志。计算方法。科学。 16,第1号,第23号论文,第25页(2020年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人,《日志》。计算方法。科学。16,第1号,第23号论文,25页(2020年;Zbl 1528.68158) 全文: arXiv公司 链接
托尔斯滕·维曼;乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德 高效且模块化的余代数划分细化。 (英语) Zbl 1442.68113号 日志。计算方法。科学。 16,第1号,第8号文件,第63页(2020).MSC公司:68问题65 60J22型 65年第68季度 第68季度85 87年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann}等人,《日志》。计算方法。科学。16,第1号,第8号论文,63页(2020年;Zbl 1442.68113) 全文: arXiv公司
迪莉娅·凯斯纳;皮埃尔小瓶 自然演绎风格中经典微积分的非负型。 (英语) Zbl 1528.03127号 日志。计算方法。科学。 16,第1号,第3号论文,46页(2020年).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}和\textit{P.小瓶},原木。计算方法。科学。16,第1号,第3号论文,46页(2020年;Zbl 1528.03127) 全文: arXiv公司
皮埃尔·普拉迪奇;科林·里巴 库里·霍华德(Curry-Howard)对教堂综合的看法。 (英语) Zbl 1509.03121号 日志。计算方法。科学。 15,第4号,第13号论文,第38页(2019).MSC公司:05年3月 03B16号 35楼03号 03楼55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Pradic}和\textit{C.Riba},日志。计算方法。科学。15,第4号,第13号论文,38页(2019年;Zbl 1509.03121) 全文: arXiv公司
杜珊·克诺普;马丁·库特克;托马斯·马萨尼克;托马斯·图法尔 MSO以外的简化算法元定理:树宽和邻域多样性。 (英语) Zbl 1427.68125号 日志。计算方法。科学。 15,第4号,第12号论文,32页(2019年).MSC公司:第68季度25 03B16号 第68季度第60季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Knop}等人,日志。计算方法。科学。15,第4号,第12号论文,32页(2019年;Zbl 1427.68125) 全文: arXiv公司
佐尔坦·埃西克;德克斯特·科赞 关于自由(ω)-连续和正则序代数。 (英语) Zbl 1442.68116号 日志。计算方法。科学。 15,第4号,第4篇论文,16页(2019年).MSC公司:70年第68季度 08A70型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Esik}和\textit{D.Kozen},日志。计算方法。科学。第15号第4条,第4号论文,第16页(2019年;Zbl 1442.68116) 全文: 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;兹bl 1442.68142) 全文: 内政部 arXiv公司
Mikołaj博扬奇克;菲利波·卡瓦拉里;托马斯·普莱斯;Micha Skrzypczak 低级Wadge层次结构中的常规树语言。 (英语) Zbl 1509.03144号 日志。计算方法。科学。 15,第3号,第27号论文,61页(2019年).MSC公司:2015年3月 05年3月 03年2月25日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}等人,《日志》。计算方法。科学。15,第3号,第27号论文,61页(2019年;Zbl 1509.03144) 全文: arXiv公司
达纳州安格鲁因;蒂莫斯·安东尼奥普洛斯;达纳·菲斯曼 多项式时间内派生树语言的查询学习。 (英语) 兹比尔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 1454.03061号 日志。计算方法。科学。 15,第2号,第9号论文,21页(2019年).MSC公司:03E15年 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}等人,日志。计算方法。科学。15,第2号,第9号论文,21页(2019年;Zbl 1454.03061) 全文: arXiv公司
诺姆·齐尔伯格 半关联定律的后继演算。 (英语) Zbl 1515.03223号 日志。计算方法。科学。 15,第1号,第9号论文,23页(2019年).MSC公司:03楼52 05年3月 03B40型 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{N.Zeilberger},日志。计算方法。科学。15,第1号,第9号论文,23页(2019年;Zbl 1515.03223) 全文: arXiv公司
约翰·费恩利;拉胡尔·萨瓦尼 全交换机策略改进的复杂性。 (英语) Zbl 1402.68089号 日志。计算方法。科学。 14,第4号,第9号论文,57页(2018年).MSC公司:第68季度25 2017年第68季度 68周05 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}和\textit{R.Savani},Log。计算方法。科学。14,第4号,第9号文件,第57页(2018年;Zbl 1402.68089) 全文: 内政部 arXiv公司
阿诺·阿夫隆;科恩、利隆 集合最小计算理论中的应用数学。 (英语) Zbl 1454.03064号 日志。计算方法。科学。 14,第4号,第1号论文,29页(2018年).MSC公司:03年3月30日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{L.Cohen},Log。计算方法。科学。14,第4号,第1号论文,29页(2018;Zbl 1454.03064) 全文: 内政部 arXiv公司
盖尔·方丹;威尼玛,伊德 模态演算的一些模型理论:语义属性的句法特征。 (英语) Zbl 1459.03022号 日志。计算方法。科学。 14,第1号,第14号论文,51页(2018年).MSC公司:03B45号 03B70号 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}和\textit{Y.Venema},日志。计算方法。科学。14,第1号,第14号文件,第51页(2018;兹bl 1459.03022) 全文: 内政部 arXiv公司
朱利安·纳格尔;伯特伦·费尔根豪尔;哈拉尔德·赞克 通过相对终止和规则标记证明汇流证明。 (英语) Zbl 1398.68485号 日志。计算方法。科学。 13,第2号,第4号论文,27页(2017年).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Nagele}等人,日志。计算方法。科学。13,第2号,第4号论文,27页(2017;Zbl 1398.68485) 全文: 内政部 arXiv公司
辛西娅·科普;阿尔特·米德尔多普;托马斯·斯特纳格尔 条件项重写的复杂性。 (英语) Zbl 1398.68275号 日志。计算方法。科学。 13,第1号,第6号论文,56页(2017年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Kop}等人,日志。计算方法。科学。13,第1号,第6号论文,56页(2017;Zbl 1398.68275) 全文: 内政部 arXiv公司
贾斯敏·克里斯蒂安·布兰切特;Böhme,萨沙;安德烈·波佩斯库;尼古拉斯·斯莫尔博内 编码单态和多态类型。 (英语) Zbl 1445.68327号 日志。计算方法。科学。 12,第4号,第13号论文,52页(2016年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人,《日志》。计算方法。科学。12,第4号,第13号论文,52页(2016;Zbl 1445.68327) 全文: 内政部 arXiv公司