汤姆,赫肖维茨;安布罗斯,拉丰 高阶语言中应用双相似性同余的范畴框架。 (英语) Zbl 07596585号 日志。方法计算。科学。 18,第3号,第37号文件,第72页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.Tom}和\textit{L.Ambroise},Log。方法计算。科学。18,第3号,第37号论文,72页(2022;Zbl 07596585) 全文: 内政部 arXiv公司
Mirai池沼 通过同源方法获得的重写规则数的下限。 (英语) Zbl 1508.18008号 日志。方法计算。科学。 18,第3号,第36号论文,第25页(2022年). 审核人:菲利普·马尔博斯(里昂) MSC公司:18世纪15年代 第68季度第42季度 20J05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ikebuchi},日志。方法计算。科学。18,第3号,第36号论文,第25页(2022;Zbl 1508.18008) 全文: 内政部 arXiv公司
安德鲁·波伦斯基;理查德·斯塔特曼 具有给定交集类型的术语集。 (英语) Zbl 07596583号 日志。方法计算。科学。 18,第3号,第35号论文,23页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Polonsky}和\textit{R.Statman},日志。方法计算。科学。18,第3号,第35号论文,23页(2022;Zbl 07596583) 全文: 内政部 arXiv公司
聪,又有;石雄,恰基;卡霍本田;浅井,肯尼奇 类型化调用上下文的函数抽象。 (英语) Zbl 07596582号 日志。方法计算。科学。 18,第3号,第34号论文,第31页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cong}等人,Log。方法计算。科学。18,第3号,第34号论文,第31页(2022;Zbl 07596582) 全文: 内政部 arXiv公司
汉内斯·萨弗里奇;彼得·蒂曼 相关的功能性和命令性会话类型。 (英语) Zbl 07596581号 日志。方法计算。科学。 18,第3号,第33号论文,第34页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.Saffrich}和\textit{P.Thiemann},日志。方法计算。科学。18,第3号,第33号论文,第34页(2022;Zbl 07596581) 全文: 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛;奥克塔维奥·马勒贝 幺正球中的量子控制:λ-(S_1)及其范畴模型。 (英语) Zbl 07596580号 日志。方法计算。科学。 18,第3号,第32号论文,36页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{O.Malherbe},日志。方法计算。科学。18,第3号,第32号论文,36页(2022;Zbl 07596580) 全文: 内政部 arXiv公司
托尔斯滕·维曼 通过因子分解系统和示例实现极小性概念。 (英语) Zbl 07596579号 日志。方法计算。科学。 18,第3号,第31号论文,第26页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann},日志。方法计算。科学。18,第3号,第31号论文,第26页(2022年;Zbl 07596579) 全文: 内政部 arXiv公司
雨果·金伯特 带有因果记忆的分布式异步游戏是不可判定的。 (英语) Zbl 07596578号 日志。方法计算。科学。 18,第3号,第30号文件,第22页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.Gimbert},日志。方法计算。科学。18,第3号,第30号论文,22页(2022;Zbl 07596578) 全文: 内政部 arXiv公司
托马斯·科尔科姆贝特;纳塔娜·菲亚尔科夫;Pawe Gawrychowskił;皮埃尔·奥曼 无限长博弈的泛图理论。 (英语) Zbl 07596577号 日志。方法计算。科学。 18,第3号,第29号文件,第47页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Colcombet}等人,《日志》。方法计算。科学。18,第3号,第29号论文,47页(2022;Zbl 07596577) 全文: 内政部 arXiv公司
傅鹏;Kohei的Kishida;彼得·塞林格 量子编程语言的线性相关类型理论。 (英语) Zbl 1503.68039号 日志。方法计算。科学。 18,第3号,第28号论文,44页(2022年).MSC公司:68甲19 03B38型 2005年8月 68甲15 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Fu}等人,Log。方法计算。科学。18,第3号,第28号论文,第44页(2022年;Zbl 1503.68039) 全文: 内政部 arXiv公司
卢卡·西科内;卢卡·帕多瓦尼 具有corules的推理系统,用于二进制会话类型的组合安全性和活性属性。 (英语) Zbl 07596575号 日志。方法计算。科学。 18,第3号,第27号论文,第29页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Ciccone}和\textit{L.Padovani},Log。方法计算。科学。18,第3号,第27号论文,第29页(2022;Zbl 07596575) 全文: 内政部 arXiv公司
马凯·曼;艾哈迈德·伊尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 模型检验的反例指导预言模数为数组理论。 (英语) Zbl 07596574号 日志。方法计算。科学。 18,第3号,第26号论文,28页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}等人,《日志》。方法计算。科学。18,第3号,第26号论文,28页(2022;Zbl 07596574) 全文: 内政部 arXiv公司
亚历山大·卡兹达;彼得·迈尔;德米特里·朱克 小承诺顾客服务提供商,减少为大顾客服务提供商。 (英语) Zbl 07596573号 日志。方法计算。科学。 18,第3号,第25号文件,第14页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Kazda}等人,日志。方法计算。科学。18,第3号,第25号论文,第14页(2022;Zbl 07596573) 全文: 内政部 arXiv公司
弗朗齐斯科斯·威斯内特;科普,尼尔斯 二进制有符号数字表示中实数的极限。 (英语) Zbl 07596572号 日志。方法计算。科学。 18,第3号,第24号论文,28页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Wiesnet}和\textit{N.Köpp},日志。方法计算。科学。18,第3号,第24号论文,28页(2022;Zbl 07596572) 全文: 内政部 arXiv公司
威尔默·里奇奥蒂;切尼,詹姆斯 强规范化高阶关系查询。 (英语) Zbl 07596571号 日志。方法计算。科学。 18,第3号,第23号论文,41页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{W.Ricciotti}和\textit{J.Cheney},Log。方法计算。科学。18,第3号,第23号论文,41页(2022;Zbl 07596571) 全文: 内政部 arXiv公司
M.Clarence,普罗廷;吉尔达·费雷拉 原子多态性中的类型性和类型推断。 (英语) 兹比尔07577586 日志。方法计算。科学。 18,第3号,第22号论文,22页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Protin}和\textit{G.Ferreira},Log。方法计算。科学。18,第3号,第22号论文,22页(2022;Zbl 07577586) 全文: arXiv公司 链接
汉内斯·迪纳;马修·亨特拉斯 第三个技巧。 (英语) Zbl 07577585号 日志。方法计算。科学。 18,第3号,第21号论文,第12页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.Diener}和\textit{M.Hendtlass},Log。方法计算。科学。18,第3号,第21号论文,第12页(2022;Zbl 07577585) 全文: arXiv公司 链接
安德烈·鲍尔 实例可约性和Weihrauch度。 (英语) Zbl 07577584号 日志。方法计算。科学。 18,第3号,第20号论文,第18页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer},日志。方法计算。科学。18,第3号,第20号论文,第18页(2022;Zbl 07577584) 全文: arXiv公司 链接
本杰明·比斯平;大卫·詹森(David N.Jansen)。;乌韦州内斯特曼 一次性决定所有行为等效性:线性时间分支时间谱的游戏。 (英语) Zbl 07577583号 日志。方法计算。科学。 18,第3号,第19号论文,33页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bisping}等人,《日志》。方法计算。科学。18,第3号,第19号文件,第33页(2022;兹bl 07577583) 全文: arXiv公司 链接
玛尔塔·比尔科娃;马特·多斯塔尔 有序余代数的莫斯逻辑。 (英语) Zbl 07577582号 日志。方法计算。科学。 18,第3号,第18号论文,61页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}和\textit{M.Dostál},Log。方法计算。科学。18,第3号,第18号论文,61页(2022;Zbl 07577582) 全文: arXiv公司 链接
托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;恩格尔·勒福丘;本杰明·蒙梅格 一键定价的负权重计时游戏。 (英语) 兹比尔07577581 日志。方法计算。科学。 18,第3号,第17号论文,51页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,日志。方法计算。科学。18,第3号,第17号论文,51页(2022;Zbl 07577581) 全文: arXiv公司 链接
巴德·阿布·拉迪;奥尔纳·库普弗曼 基于GFG转换的自动机的最小化和标准化。 (英语) Zbl 07577580号 日志。方法计算。科学。 18,第3号,第16号论文,33页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Radi}和\textit{O.Kupferman},日志。方法计算。科学。18,第3号,第16号文件,第33页(2022;Zbl 07577580) 全文: arXiv公司 链接
吴,明;史蒂文·维克斯 实数幂运算的无点构造。 (英语) Zbl 07577579号 日志。方法计算。科学。 18,第3号,第15号论文,32页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Ng}和\textit{S.Vickers},Log。方法计算。科学。18,第3号,第15号论文,32页(2022;Zbl 07577579) 全文: arXiv公司 链接
内森·格罗珊斯;皮埃尔·麦肯齐;卢克·塞古芬 在\(mathbf{DA}\)中,程序对幺半群的驯服和威力。 (英语) Zbl 07577578号 日志。方法计算。科学。 18,第3号,第14号论文,第34页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Grosshans}等人,《日志》。方法计算。科学。18,第3号,第14号论文,第34页(2022;Zbl 07577578) 全文: arXiv公司 链接
苏古曼·班萨尔;斯瓦拉特·乔杜里;莫舍·瓦尔迪。 定量验证中的比较自动机。 (英语) Zbl 07577577号 日志。方法计算。科学。 18,第3号,第13号文件,第28页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Bansal}等人,日志。方法计算。科学。18,第3号,第13号论文,28页(2022;Zbl 07577577) 全文: arXiv公司 链接
雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾丁·戈尔,埃布鲁;伊万娜·乔纳 通过模型检查进行时间自动机稳健性分析。 (英语) Zbl 07577576号 日志。方法计算。科学。 18,第3号,第12号论文,32页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人,日志。方法计算。科学。18,第3号,第12号论文,32页(2022;Zbl 07577576) 全文: arXiv公司 链接
米歇尔·齐亚里;迪诺·曼德里奥利;普拉德拉,马泰奥 结构化上下文无关语言的一阶完全时态逻辑。 (英语) Zbl 07577575号 日志。方法计算。科学。 18,第3号,第11号论文,49页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Chiari}等人,日志。方法计算。科学。18,第3号,第11号论文,49页(2022;Zbl 07577575) 全文: arXiv公司 链接
朱塞佩·德拉·佩纳;贝内代托·恩特里吉拉;朱利奥·曼佐内托 将机器寻址为\(\lambda \)-演算模型。 (英语) Zbl 07577574号 日志。方法计算。科学。 18,第3号,第10号论文,第31页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Della Penna}等人,日志。方法计算。科学。18,第3号,第10号论文,第31页(2022;Zbl 07577574) 全文: arXiv公司 链接
莱奥·埃克巴德;艾曼纽·菲利奥特;内森·勒霍特;皮埃尔·阿莱·雷尼尔 不同数据域上数据字转换的可计算性。 (英语) Zbl 07577573号 日志。方法计算。科学。 18,第3号,第9号论文,41页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,日志。方法计算。科学。18,第3号,第9号论文,41页(2022;Zbl 07577573) 全文: arXiv公司 链接
艾克·诺依曼 统一信封。 (英语) Zbl 07577572号 日志。方法计算。科学。 18,第3号,第8号论文,第34页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Neumann},日志。方法计算。科学。18,第3号,第8号论文,34页(2022;Zbl 07577572) 全文: arXiv公司 链接
比拉,埃莱尼;约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;海克·卫尔海姆 持久不透明度的模块化验证。 (英语) Zbl 07577571号 日志。方法计算。科学。 18,第3号,第7号文件,第36页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Bila}等人,Log。方法计算。科学。18,第3号,第7号论文,36页(2022;Zbl 07577571) 全文: arXiv公司 链接
杰夫·埃里克森;加布里埃尔·尼瓦什;徐俊彦 易熔数字和皮亚诺算法。 (英语) Zbl 07577570号 日志。方法计算。科学。 18,第3号,第6号论文,第26页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.埃里克森}等人,日志。方法计算。科学。18,第3号,第6号论文,第26页(2022;Zbl 07577570) 全文: arXiv公司 链接
巴托斯·贝德纳西克;斯特凡·德姆里 为什么命题量化使树上的模态逻辑和时序逻辑变得异常困难? (英语) Zbl 07577569号 日志。方法计算。科学。 18,第3号,第5号文件,第46页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}和\textit{S.Demri},日志。方法计算。科学。18,第3号,第5号论文,46页(2022;Zbl 07577569) 全文: arXiv公司 链接
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;吉姆·德·格罗特 邻域框架二重性的联合方法。 (英语) Zbl 07577568号 日志。方法计算。科学。 18,第3号,第4号论文,39页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,日志。方法计算。科学。18,第3号,第4号论文,39页(2022;Zbl 07577568) 全文: arXiv公司 链接
安德烈·赫肖维茨;汤姆·赫肖维茨;安布罗斯·拉丰 单体上的模块和操作语义(扩展版本)。 (英语) Zbl 07577567号 日志。方法计算。科学。 18,第3期,第3号论文,67页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Hirschowitz}等人,日志。方法计算。科学。18,第3期,第3号论文,67页(2022;Zbl 07577567) 全文: arXiv公司 链接
托马斯·埃尔哈德 概率相干空间中的微分和距离。 (英语) Zbl 1528.68064号 日志。方法计算。科学。 18,第3号,第2号论文,33页(2022年).MSC公司:68甲18 第03页 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{T.Ehrhard},日志。方法计算。科学。18,第3号,第2号论文,33页(2022年;Zbl 1528.68064) 全文: arXiv公司 链接
吉姆·德·格罗特;德克·帕丁森 模态满足蕴涵逻辑。 (英语) Zbl 07577565号 日志。方法计算。科学。 18,第3号,第1号论文,35页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.de Groot}和\textit{D.Pattinson},Log。方法计算。科学。18,第3号,第1号论文,35页(2022;Zbl 07577565) 全文: arXiv公司 链接