维伦达·戴夫;艾曼纽·菲利奥特;桑卡拉·纳拉亚南·克里希纳;内森·勒霍特 无限单词的可计算正则函数的合成。 (英语) Zbl 07566079号 日志。方法计算。科学。 18,第2号,第23号文件,第29页(2022).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Dave}等人,Log。方法计算。科学。18,第2号,第23号论文,29页(2022;Zbl 07566079) 全文: 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公司 链接
菲利波·邦奇;安娜·索科洛娃;瓦莱里亚·维格努德利 具有不确定性、概率和终止性的系统的迹理论。 (英语) Zbl 07566077号 日志。方法计算。科学。 18,第2号,第21号论文,66页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,日志。方法计算。科学。18,第2号,第21号论文,66页(2022;Zbl 07566077) 全文: arXiv公司 链接
埃斯特·利夫希茨;本尼·基梅尔菲尔德 函数依赖的不一致性度量的Shapley值。 (英语) Zbl 07566076号 日志。方法计算。科学。 18,第2号,第20号文件,第33页(2022).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Livshits}和\textit{B.Kimelfeld},Log。方法计算。科学。18,第2号,第20号论文,33页(2022;Zbl 07566076) 全文: arXiv公司 链接
威尔德,保罗;卢茨·施罗德 通过模糊lax扩展的行为半定量特征逻辑。 (英语) 兹比尔07566075 日志。方法计算。科学。 18,第2号,第19号论文,35页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Wild}和\textit{L.Schröder},Log。方法计算。科学。18,第2号,第19号论文,第35页(2022;Zbl 07566075) 全文: arXiv公司 链接
马科托·哈马纳 二阶计算规则的模终止及其在代数效应处理程序中的应用。 (英语) Zbl 07566074号 日志。方法计算。科学。 18,第2号,第18号论文,33页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamana},日志。方法计算。科学。18,第2号,第18号论文,33页(2022;Zbl 07566074) 全文: arXiv公司 链接
多米尼克·柯斯特;多米尼克·拉切·温德林(Dominique Larchey-Wendling) Coq中的Trakhtenbrot定理:通过构造透镜的有限模型理论。 (英语) Zbl 07566073号 日志。方法计算。科学。 18,第2号,第17号论文,29页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Kirst}和\textit{D.Larchey Wendling},日志。方法计算。科学。18,第2号,第17号论文,29页(2022;Zbl 07566073) 全文: arXiv公司 链接
乔纳斯·卡斯伯格·辛里奇森;杰斯珀·本特森;罗伯特·克雷伯斯 Actris 2.0版:分离逻辑中基于异步会话类型的推理。 (英语) 兹比尔07566072 日志。方法计算。科学。 18,第2号,第16号论文,64页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Kastberg-Hinrichsen}等人,Log。方法计算。科学。18,第2号,第16号论文,64页(2022;Zbl 07566072) 全文: arXiv公司 链接
马塞洛·菲奥雷(Marcelo P.Fiore)。;安德鲁·皮特斯(Andrew M.Pitts)。;南卡罗来纳州斯坦坎普。 商、归纳类型和商归纳类型。 (英语) Zbl 1502.18046号 日志。方法计算。科学。 18,第2号,第15号文件,第37页(2022). 审核人:菲利普·马尔博斯(里昂) MSC公司:18号45 03B38型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fiore}等人,日志。方法计算。科学。18,第2号,第15号论文,37页(2022年;Zbl 1502.18046) 全文: arXiv公司 链接
安托万·阿马里利;迈克尔·本尼迪克特 我们什么时候可以使用结果约束数据接口来回答查询? (英语) Zbl 07566070号 日志。方法计算。科学。 18,第2号,第14号论文,81页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Amarilli}和\textit{M.Benedikt},日志。方法计算。科学。18,第2号,第14号论文,81页(2022;Zbl 07566070) 全文: arXiv公司 链接
Mahsa Zarneshan;法特梅·加塞米;埃桑·卡梅斯帕纳;马尔詹·西尔贾尼;约翰·哈特克利夫 互操作医疗系统中定时属性的规范和验证。 (英语) Zbl 07566069号 日志。方法计算。科学。 18,第2号,第13号论文,37页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Zarneshan}等人,日志。方法计算。科学。18,第2号,第13号论文,37页(2022;Zbl 07566069) 全文: arXiv公司 链接
迈克尔·孔帕彻 CC电路和幂零代数的表达能力。 (英语) Zbl 07566068号 日志。方法计算。科学。 18,第2号,第12号论文,第15页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Kompatscher},日志。方法计算。科学。18,第2号,第12号论文,第15页(2022;Zbl 07566068) 全文: arXiv公司 链接
曼纽尔·博迪尔斯基;约翰内斯·格雷纳;雅库布·里德瓦尔 临时CSP的可牵引组合。 (英语) Zbl 07566067号 日志。方法计算。科学。 18,第2号,第11号论文,33页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,日志。方法计算。科学。18,第2号,第11号论文,33页(2022;Zbl 07566067) 全文: arXiv公司 链接
泽维尔·阿拉米吉恩;里卡多·D·卡茨。;皮埃尔·伊夫·斯特鲁布 形式化多面体的面晶格。 (英语) Zbl 07566066号 日志。方法计算。科学。 18,第2号,第10号论文,23页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,日志。方法计算。科学。18,第2号,第10号论文,23页(2022;Zbl 07566066) 全文: arXiv公司 链接
洛伦佐·克莱门特;萨沃米尔·拉索塔;拉多斯·瓦·皮奥科夫斯基 寄存器和时间自动机的可确定性。 (英语) Zbl 07566065号 日志。方法计算。科学。 18,第2号,第9号论文,37页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,日志。方法计算。科学。18,第2号,第9号论文,37页(2022;Zbl 07566065) 全文: arXiv公司 链接
德拉赫尚、法扎内赫;弗兰克·芬宁 作为会话类型过程的循环证明:一个局部有效性条件。 (英语) Zbl 07566064号 日志。方法计算。科学。 18,第2号,第8号论文,51页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Derakhshan}和\textit{F.Pfenning},日志。方法计算。科学。18,第2号,第8号论文,51页(2022;Zbl 07566064) 全文: arXiv公司 链接
阿诺·杜兰德;尼科尔·施韦卡特;卢克·塞古芬 枚举低阶数据库上一阶查询的答案。 (英语) Zbl 07566063号 日志。方法计算。科学。 18,第2号,第7号论文,23页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人,《日志》。方法计算。科学。18,第2号,第7号论文,23页(2022;Zbl 07566063) 全文: arXiv公司 链接
巴斯·凯茨曼;丹·苏秋;陶宇飞 连接二进制关系的近最优并行算法。 (英语) Zbl 07566062号 日志。方法计算。科学。 18,第2号,第6号论文,22页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ketsman}等人,《日志》。方法计算。科学。18,第2号,第6号论文,22页(2022;Zbl 07566062) 全文: arXiv公司 链接
克劳迪娅·法根 概率重写和渐近行为:关于终止和唯一正规形式。 (英语) Zbl 07566061号 日志。方法计算。科学。 18,第2号,第5号论文,37页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Faggian},日志。方法计算。科学。18,第2号,第5号论文,37页(2022;Zbl 07566061) 全文: arXiv公司 链接
Giulio Guerrieri,朱利奥;吕克·佩利西尔;洛伦佐托托拉·德·法尔科 粘合资源保护结构:居住和反转泰勒展开。 (英语) Zbl 07566060号 日志。方法计算。科学。 18,第2号,第4号论文,46页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Guerreri}等人,《日志》。方法计算。科学。18,第2号,第4号文件,第46页(2022;Zbl 07566060) 全文: arXiv公司 链接
Seulkee Baek先生;马里奥·卡内罗;Heule,Marijn J.H。 SAT解算器-解算器通信的灵活证明格式。 (英语) Zbl 07566059号 日志。方法计算。科学。 18,第2号,第3号论文,21页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Baek}等人,Log。方法计算。科学。18,第2号,第3号论文,21页(2022;Zbl 07566059) 全文: arXiv公司 链接
西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;卡普尔,迪帕克 (mathcal{EUF})中的统一插值:使用DAG表示的算法。 (英语) Zbl 07566058号 日志。方法计算。科学。 18,第2期,第2号论文,24页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,日志。方法计算。科学。18,第2号,第2篇论文,24页(2022;Zbl 07566058) 全文: arXiv公司 链接
塞巴斯蒂安·乌尔里奇;莱昂纳多·德·莫拉 超越符号:定理证明语言的卫生宏扩展。 (英语) Zbl 07566057号 日志。方法计算。科学。 18,第2号,第1号论文,21页(2022年).MSC公司:03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ullrich}和\textit{L.de Moura},日志。方法计算。科学。18,第2号,第1号论文,21页(2022;Zbl 07566057) 全文: arXiv公司 链接