乔纳森·斯特林;卡洛·安吉利;丹尼尔·格拉泽 主教布景的立体语言。 （英语） Zbl 07566056号 日志。方法计算。科学。 18，第1号，第43号论文，80页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Sterling}等人，日志。方法计算。科学。18，第1号，第43号论文，80页（2022；Zbl 07566056） 全文： arXiv公司 链接
西门托伦奇克;托马斯·泽姆 使用极值约束注册自动机，以及二变量逻辑的应用程序。 （英语） Zbl 07566055号 日志。方法计算。科学。 18，第1号，第42号论文，38页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Toruñczyk}和\textit{T.Zeume}，日志。方法计算。科学。18，第1号，第42号文件，第38页（2022；Zbl 07566055） 全文： arXiv公司 链接
马修·霍特;萨姆·斯塔顿;马蒂杰斯·瓦卡 高阶函数的高阶自动微分。 （英语） Zbl 07566054号 日志。方法计算。科学。 18，第1号，第41号论文，第34页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Huot}等人，《日志》。方法计算。科学。18，第1号，第41号论文，第34页（2022；Zbl 07566054） 全文： arXiv公司 链接
德米特里·奇斯蒂科夫;斯特凡·基弗;安德烈·穆拉夫斯基。;乘务长，大卫 大O问题。 （英语） Zbl 07566053号 日志。方法计算。科学。 18，第1号，第40号论文，50页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人，《日志》。方法计算。科学。18，第1号，第40号论文，50页（2022；Zbl 07566053） 全文： arXiv公司 链接
丹·普柳金;古尔·阿加 一种可扩展的分散参与者终止检测算法。 （英语） Zbl 07566052号 日志。方法计算。科学。 18，第1号，第39号论文，第35页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Plyukhin}和\textit{G.Agha}，Log。方法计算。科学。18，第1号，第39号论文，第35页（2022；Zbl 07566052） 全文： arXiv公司 链接
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫 基于BDD的边色图SCC分解算法。 （英语） Zbl 07566051号 日志。方法计算。科学。 18，第1号，第38号论文，第27页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，《日志》。方法计算。科学。18，第1号，第38号论文，第27页（2022；Zbl 07566051） 全文： arXiv公司 链接
油炸，Dror;Legay、Axel;欧卡宁，乔伊;莫舍·瓦尔迪。 顺序关系分解。 （英语） Zbl 1497.68173号 日志。方法计算。科学。 18，第1号，第37号论文，第29页（2022年）.MSC公司：第68季度01 2006年第68季度 65年第68季度 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年XX月 PDF格式BibTeX公司 XML格式引用 \textit｛R.Eßmann｝等人，日志。方法计算。科学。18，第1号，第36号论文，第21页（2022；Zbl 07566049） 全文： arXiv公司 链接
多米尼克·拉切·温德林（Dominique Larchey-Wendling）;扬尼克·福斯特 《考克》中希尔伯特的第十个问题（扩展版）。 （英语） Zbl 1528.03182号 日志。方法计算。科学。 18，第1号，第35号论文，41页（2022年）.MSC公司：03天35分 2009年11月 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{Y.Forster}，Log。方法计算。科学。18，第1号，第35号论文，41页（2022；Zbl 1528.03182） 全文： arXiv公司 链接
马丁·格罗;彼得·林德纳 无限概率数据库。 （英语） Zbl 07566047号 日志。方法计算。科学。 18，第1号，第34号论文，43页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{P.Lindner}，Log。方法计算。科学。18，第1号，第34号论文，43页（2022；Zbl 07566047） 全文： arXiv公司 链接
伊曼纽尔·海因里;布鲁斯·卡普伦。;Jean-Yves玛丽恩;罗曼·佩乔 一种描述可行函数的基于层的类型化编程语言。 （英语） Zbl 07566046号 日志。方法计算。科学。 18，第1号，第33号论文，第31页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit｛E.Hainry｝等人，日志。方法计算。科学。18，第1号，第33号论文，第31页（2022；Zbl 07566046） 全文： arXiv公司 链接
克里斯托夫·卢卡斯;Mio、Matteo Riesz空间和模态Riesz空的证明理论。 （英语） Zbl 07566045号 日志。方法计算。科学。 18，第1号，第32号论文，64页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{C.Lucas}和\textit{M.Mio}，日志。方法计算。科学。18，第1号，第32号论文，64页（2022；Zbl 07566045） 全文： arXiv公司 链接
埃蒂安·安德烈;莱姆，迪迪埃;奥利维尔·鲁克斯。 参数时间自动机中的可达性和活性。 （英语） Zbl 07566044号 日志。方法计算。科学。 18，第1号，第31号论文，41页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《日志》。方法计算。科学。18，第1号，第31号论文，41页（2022；Zbl 07566044） 全文： arXiv公司 链接
杰雷米·杜布特;Akihisa山田 非传递关系的不动点定理。 （英语） Zbl 07471719号 日志。方法计算。科学。 18，第1号，第30号论文，24页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubut}和\textit{A.Yamada}，日志。方法计算。科学。18，第1号，第30号论文，24页（2022；Zbl 07471719） 全文： arXiv公司 链接
约书亚·莫尔曼;马蒂奥·桑马蒂诺 非确定性标称自动机的Residiability和学习。 （英语） Zbl 07471718号 日志。方法计算。科学。 18，第1号，第29号论文，28页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Moerman}和\textit{M.Sammartino}，日志。方法计算。科学。18，第1号，第29号文件，第28页（2022；Zbl 0741718） 全文： arXiv公司 链接
可口、蒂埃里;西蒙·胡贝尔;克里斯蒂安·萨特勒 立方型理论的规范性和同伦规范性。 （英语） Zbl 1486.03027号 日志。方法计算。科学。 18，第1号，第28号论文，35页（2022年）. 审核人：Hirokazu Nishimura（筑波） MSC公司：03B38型 03G30型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人，《日志》。方法计算。科学。18，第1号，第28号论文，第35页（2022年；Zbl 1486.03027） 全文： arXiv公司 链接
古拉姆·贝扎尼什维利;卢卡·卡莱;帕特里克·莫兰迪 幂集余代数的对偶性。 （英语） Zbl 07471716号 日志。方法计算。科学。 18，第1号，第27号论文，第17页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit｛G.Bezhanishvili｝等人，日志。方法计算。科学。18，第1号，第27号论文，第17页（2022；Zbl 07471716） 全文： arXiv公司 链接
Mikołaj博扬奇克;Micha Pilipczuk 优化MSO中的树分解。 （英语） Zbl 07471715号 日志。方法计算。科学。 18，第1号，第26号文件，第36页（2022）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}和\textit{M.Pilipczuk}，日志。方法计算。科学。18，第1号，第26号文件，第36页（2022；Zbl 07417115） 全文： arXiv公司 链接
卡洛斯·卡米诺;沃尔克·迪克特;Besik Dundua;米尔恰马林;塞尼泽格斯，热罗 无限树的正则匹配问题。 （英语） 兹伯利07471714 日志。方法计算。科学。 18，第1号，第25号论文，38页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{C.Camino}等人，日志。方法计算。科学。18，第1号，第25号论文，第38页（2022；Zbl 07471714） 全文： arXiv公司 链接
劳拉·博泽利;阿尔贝托·莫里纳利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 同质性假设下子区间逻辑的可满足性和模型检验。 （英语） Zbl 07471713号 日志。方法计算。科学。 18，第1号，第24号论文，第25页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，日志。方法计算。科学。18，第1号，第24号论文，第25页（2022；Zbl 07471713） 全文： arXiv公司 链接
巴兹尔·弗里尔;安德烈亚斯·洛赫比勒;乔舒亚·施奈德;德米特里·特拉泰尔 有界自然函子的商。 （英语） Zbl 07471712号 日志。方法计算。科学。 18，第1号，第23号论文，28页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{B.Fürer}等人，日志。方法计算。科学。18，第1号，第23号论文，28页（2022；Zbl 07471712） 全文： arXiv公司 链接
马西莫·巴托莱蒂;Stefano兰德;莫里齐奥·穆尔吉亚;罗伯托·祖尼诺 验证递归比特币合约的流动性。 （英语） Zbl 07471711号 日志。方法计算。科学。 18，第1号，第22号论文，33页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，日志。方法计算。科学。18，第1号，第22号论文，33页（2022；Zbl 07471711） 全文： arXiv公司 链接
Johannes Doleschal;本尼·基梅尔菲尔德;维姆·马滕斯;利亚特·彼得弗雷德 信息提取中的权重标注。 （英语） Zbl 07471710号 日志。方法计算。科学。 18，第1号，第21号论文，39页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Doleschal}等人，日志。方法计算。科学。18，第1号，第21号论文，39页（2022；Zbl 07471710） 全文： arXiv公司 链接
汉斯·范·迪特马什;法语，蒂姆 对布尔型公告进行量化。 （英语） Zbl 07471709号 日志。方法计算。科学。 18，第1号，第20号论文，22页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}和\textit{T.French}，Log。方法计算。科学。18，第1号，第20号论文，22页（2022；Zbl 07471709） 全文： arXiv公司 链接
贝内迪克特·博利格;阿兰·芬克尔;阿姆里塔·苏雷什 有界可达性问题在FIFO机器中是可以判定的。 （英语） Zbl 07471708号 日志。方法计算。科学。 18，第1号，第19号论文，32页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，日志。方法计算。科学。18，第1号，第19号论文，32页（2022；Zbl 07471708） 全文： arXiv公司 链接
安德鲁·斯旺。 同伦类型理论中的尼尔森-谢尔定理。 （英语） Zbl 07471707号 日志。方法计算。科学。 18，第1号，第18号文件，第15页（2022）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Swan}，日志。方法计算。科学。18，第1号，第18号论文，第15页（2022；Zbl 07471707） 全文： arXiv公司 链接
安德烈·鲍尔;佩特科维奇·科梅尔（Anja PetkovićKomel） 一种用于依赖类型理论的可扩展等式检查算法。 （英语） 兹比尔1504.68276 日志。方法计算。科学。 18，第1号，第17号论文，42页（2022年）.MSC公司：68伏15 03B38型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bauer｝和\textit｛A.PetkovićKomel｝，日志。方法计算。科学。18，第1号，第17号论文，42页（2022年；Zbl 1504.68276） 全文： arXiv公司 链接
梅·盖尔克;汤姆·亚什·雅克;卢卡·雷吉奥 有限结构极限的对偶理论观点。 （英语） Zbl 07471705号 日志。方法计算。科学。 18，第1号，第16号论文，38页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit｛M.Gehrke｝等人，日志。方法计算。科学。18，第1号，第16号论文，38页（2022；Zbl 07471705） 全文： arXiv公司 链接
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于平行组合的公理化。 （英语） Zbl 07471704号 日志。方法计算。科学。 18，第1号，第15号论文，51页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Log。方法计算。科学。18，第1号，第15号论文，51页（2022；Zbl 07471704） 全文： arXiv公司 链接
塞巴斯蒂安·比沃;雷娜·迪米特洛娃;迈克尔·弗里斯;马西耶·加兹达;托马斯·海因策;霍尔格·赫尔曼斯;穆罕默德·雷扎·穆萨维 时间和空间中兴奋剂检测的一致性关系和超属性。 （英语） Zbl 07471703号 日志。方法计算。科学。 18，第1号，第14号论文，39页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Biewer}等人，Log。方法计算。科学。18，第1号，第14号论文，39页（2022；Zbl 07471703） 全文： arXiv公司 链接
马亚克·兹瓦特;丹·马斯登 分配律的No-go定理。 （英语） Zbl 07471702号 日志。方法计算。科学。 18，第1号，第13号论文，61页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Zwart}和\textit{D.Marsden}，日志。方法计算。科学。18，第1号，第13号论文，61页（2022；Zbl 07471702） 全文： arXiv公司 链接
克利福德·伯格曼;威廉·德米欧 约束满足问题的通用代数方法。 （英语） Zbl 07471701号 日志。方法计算。科学。 18，第1号，第12号论文，37页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit｛C.Bergman｝和\textit｛W.Demeo｝，日志。方法计算。科学。18，第1号，第12号论文，37页（2022；Zbl 07471701） 全文： arXiv公司 链接
帕特里夏·鲍耶;勒鲁（Le Roux，Stéphane）;尤索夫·乌阿尔哈德;米凯尔·兰多尔;皮埃尔·范登霍夫 游戏中，您可以使用与竞技场无关的有限内存进行最佳游戏。 （英语） Zbl 07471700号 日志。方法计算。科学。 18，第1号，第11号论文，44页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Log。方法计算。科学。18，第1号，第11号论文，第44页（2022；Zbl 07471700） 全文： arXiv公司 链接
安东尼·德尔佩赫;杰米·维卡里 平面弦图的规范化和二次等价算法。 （英语） Zbl 1502.18039号 日志。方法计算。科学。 18，第1号，第10号文件，第38页（2022）. 审核人：菲利普·马尔博斯（里昂） MSC公司：18立方米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Delpeuch｝和\textit｛J.Vicary｝，日志。方法计算。科学。18，第1号，第10号论文，38页（2022年；Zbl 1502.18039） 全文： arXiv公司 链接
达斯，安库什;弗兰克·芬宁 Rast：一种用于资源感知会话类型的语言。 （英语） Zbl 07471698号 日志。方法计算。科学。 18，第1号，第9号论文，36页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{F.Pfenning}，日志。方法计算。科学。18，第1号，第9号论文，36页（2022；Zbl 07471698） 全文： arXiv公司 链接
卡罗琳娜·莱赫蒂宁;帕里斯（Pawe Parys）;斯文·舍韦;多米尼克·沃伊特扎克 求解拟多项式时间奇偶对策的递归方法。 （英语） Zbl 07471697号 日志。方法计算。科学。 18，第1号，第8号论文，第18页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{K.Lehtinen}等人，《日志》。方法计算。科学。18，第1号，第8号论文，18页（2022；Zbl 07471697） 全文： arXiv公司 链接
弗朗西斯科·西罗洛 \（\sigma）-正式拓扑中的区域设置。 （英语） Zbl 07471696号 日志。方法计算。科学。 18，第1号，第7号论文，第14页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo}，日志。方法计算。科学。18，第1号，第7号论文，第14页（2022；Zbl 07471696） 全文： arXiv公司 链接
马蒂亚斯·Hülsbusch;巴巴拉·科尼格;塞巴斯蒂安·库珀;拉尔斯·斯托尔特诺 反应系统的条件双相似性。 （英语） Zbl 07471695号 日志。方法计算。科学。 18，第1号，第6号文件，第41页（2022）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Hülsbusch}等人，日志。方法计算。科学。18，第1号，第6号论文，41页（2022；Zbl 07471695） 全文： arXiv公司 链接
巴蒂亚·基尼格;丹·苏秋 重新审视完整性约束：从精确到近似含义。 （英语） 兹伯利07471694 日志。方法计算。科学。 18，第1号，第5号论文，40页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{B.Kenig}和\textit{D.Suciu}，日志。方法计算。科学。18，第1号，第5号论文，40页（2022；Zbl 07471694） 全文： arXiv公司 链接
劳拉·内兹;埃齐奥·巴托西;卢卡·博托卢西;米歇尔·洛雷蒂 一种用于监测空间分布网络物理系统动态网络的逻辑。 （英语） Zbl 07471693号 日志。方法计算。科学。 18，第1号，第4号论文，30页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Nenzi}等人，日志。方法计算。科学。18，第1号，第4号论文，30页（2022；Zbl 07471693） 全文： 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 07471691号 日志。方法计算。科学。 18，第1号，第2号论文，第31页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Amarilli}和\textit{I.I.Ceylan}，日志。方法计算。科学。18，第1号，第2号论文，31页（2022；Zbl 07471691） 全文： arXiv公司 链接
费德里科·奥林皮耶里;莱昂内尔·沃克斯-奥克莱 关于lambda-项的Taylor展开及其刚性逼近的广群结构。 （英语） Zbl 07471690号 日志。方法计算。科学。 18，第1期，第1号论文，第31页（2022年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{F.Olimpieri}和\textit{L.Vaux Auclair}，Log。方法计算。科学。18，1号，1号论文，31页（2022；Zbl 07471690） 全文： arXiv公司 链接