劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁,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 07789006号 日志。计算方法。科学。 19,第4号,第34号论文,37页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Cerda}和\textit{L.Vaux Auclair},日志。计算方法。科学。19,第4号,第34号论文,37页(2023;Zbl 07789006) 全文: 内政部 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公司
保罗·埃米利奥;弗朗索瓦·波蒂埃 验证基于effect-handler的define-by-run反向模式AD库。 (英语) Zbl 07788977号 日志。计算方法。科学。 19,第4号,第5号论文,51页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.E.de Vilhena}和\textit{F.Pottier},Log。计算方法。科学。19,第4号,第5号论文,51页(2023;Zbl 07788977) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;Stefano托内塔 安全和协同安全语言的一阶逻辑特征。 (英语) Zbl 07731941号 日志。计算方法。科学。 19,第3号,第13号论文,29页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《日志》。计算方法。科学。19,第3号,第13号论文,29页(2023;Zbl 07731941) 全文: 内政部 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公司
马西莫·巴托莱蒂;莫里齐奥·穆尔吉亚;祖尼诺,罗伯罗 PCTL的合理近似和渐近概率互模拟。 (英语) 兹伯利07731911 日志。计算方法。科学。 19,第1号,第22号论文,30页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,日志。计算方法。科学。19,第1号,第22号论文,30页(2023;Zbl 07731911) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir,安娜 一阶分支时间属性的双向运行时强制。 (英语) Zbl 07667087号 日志。计算方法。科学。 19,第1号,第14号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Log。计算方法。科学。19,第1号,第14号论文,44页(2023;Zbl 07667087) 全文: 内政部 arXiv公司
达纳·菲斯曼;多拉夫·尼泰;Ziv Ukelson,迈克尔 学习结构明确的概率文法。 (英语) Zbl 07667083号 日志。计算方法。科学。 19,第1号,第10号文件,第33页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人,《日志》。计算方法。科学。19,第1号,第10号论文,33页(2023;Zbl 07667083) 全文: 内政部 arXiv公司
托尔斯滕·维曼;斯特凡·米利厄斯;卢茨施罗德 行为不公平通用模态见证的准线性时间计算。 (英语) Zbl 07639914号 日志。计算方法。科学。 18,第4号,第6号论文,48页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann}等人,《日志》。计算方法。科学。18,第4号,第6号论文,48页(2022;Zbl 07639914) 全文: 内政部 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公司
本杰明·比斯平;大卫·詹森(David N.Jansen)。;乌韦·内斯特曼 一次性决定所有行为等效性:线性时间分支时间谱的游戏。 (英语) Zbl 07577583号 日志。计算方法。科学。 18,第3号,第19号论文,33页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bisping}等人,《日志》。计算方法。科学。18,第3号,第19号论文,33页(2022;Zbl 07577583) 全文: arXiv公司 链接
雅罗斯拉夫·本迪克;艾哈迈德·森坎;艾丁·戈尔(Ebru Aydin Gol);伊万娜·乔纳 通过模型检查进行时间自动机稳健性分析。 (英语) 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 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 07577567号 日志。计算方法。科学。 18,第3期,第3号论文,67页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Hirschowitz}等人,日志。计算方法。科学。18,第3期,第3号论文,67页(2022;Zbl 07577567) 全文: arXiv公司 链接
马蒂亚斯·Hülsbusch;巴巴拉·科尼格;塞巴斯蒂安·库珀;拉尔斯·斯托尔特诺 反应系统的条件双相似性。 (英语) Zbl 07471695号 日志。计算方法。科学。 18,第1号,第6号论文,41页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Hülsbusch}等人,日志。计算方法。科学。18,第1号,第6号论文,41页(2022;Zbl 07471695) 全文: arXiv公司 链接
帕特里夏·约翰;恩里科·吉奥尔齐 嵌套类型和GADT的参数化。 (英语) Zbl 07471683号 日志。计算方法。科学。 17,第4号,第23号论文,50页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}和\textit{E.Ghiorzi},日志。计算方法。科学。17,第4号,第23号论文,50页(2021;Zbl 07471683) 全文: arXiv公司 链接
Yo Mitani;直纪小林;津田,武士 概率高阶不动点逻辑。 (英语) Zbl 07471675号 日志。计算方法。科学。 17,第4号,第15号论文,36页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mitani}等人,《日志》。计算方法。科学。17,第4号,第15号论文,36页(2021;Zbl 07471675) 全文: arXiv公司 链接
克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 可逆多方协议的因果一致性。 (英语) Zbl 07471661号 日志。计算方法。科学。 17,第4号,第1号论文,41页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Antares Mezzina}和\textit{J.A.Pérez},Log。计算方法。科学。17,第4号,第1号论文,41页(2021;Zbl 07471661) 全文: arXiv公司 链接
Jean-Marie,马迪奥;Damien Pous;戴维·桑吉奥吉 通过一阶转换系统实现高阶语言的模块化共归纳。 (英语) 兹比尔07407797 日志。计算方法。科学。 17,第3号,第25号论文,39页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.M.Madiot}等人,日志。计算方法。科学。17,第3号,第25号论文,39页(2021;Zbl 07407797) 全文: arXiv公司 链接
赫尔曼·格乌弗斯;巴特·雅各布斯 相关隔离和相互模拟。 (英语) Zbl 1525.68083号 日志。计算方法。科学。 17,第3号,第15号论文,35页(2021年).MSC公司:68问题85 03B70号 18英镑05 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Geuvers}和\textit{B.Jacobs},Log。计算方法。科学。17,第3号,第15号论文,35页(2021;Zbl 1525.68083) 全文: arXiv公司 链接
菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃 通过凸代数幂的分布双相似性。 (英语) Zbl 1480.18005号 日志。计算方法。科学。 17,第3号,第10号论文,28页(2021年). 审核人:Ernst-Erich Doberkat(多特蒙德) MSC公司:18立方厘米 03B42号 87年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,日志。计算方法。科学。17,第3号,第10号论文,第28页(2021;Zbl 1480.18005) 全文: 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公司 链接
罗斯·霍恩;绍克·莫 使用双相似性发现ePassport漏洞。 (英语) Zbl 07379295号 日志。计算方法。科学。 17,第2号,第24号论文,52页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}和\textit{S.Mauw},Log。计算方法。科学。17,第2号,第24号文件,第52页(2021;Zbl 07379295) 全文: 内政部 arXiv公司
阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 可呈现的签名和初始语义。 (英语) Zbl 07379288号 日志。计算方法。科学。 17,第2号,第17号论文,28页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人,日志。计算方法。科学。17,第2号,第17号文件,第28页(2021;兹bl 07379288) 全文: 内政部 arXiv公司
尼科洛·维尔特里;范德维德,尼尔斯 构造更高的归纳类型作为广群商。 (英语) Zbl 1498.03037号 日志。计算方法。科学。 17,第2号,第8号文件,第42页(2021).MSC公司:03B38型 18N10型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{N.Veltri}和\textit{N.van der Weide},Log。计算方法。科学。17,第2号,第8号文件,第42页(2021;兹bl 1498.03037) 全文: arXiv公司 链接
Jan A.Bergstra。;阿尔班·蓬塞 定义自然和整数重写系统的数据类型。 (英语) Zbl 1509.68114号 日志。计算方法。科学。 17,第1号,第17号论文,第31页(2021年).MSC公司:2012年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},日志。计算方法。科学。17,第1号,第17号论文,第31页(2021年;Zbl 1509.68114) 全文: arXiv公司 链接
巴斯·卢提克;杨菲 (pi)演算在行为上是完整的,并且是轨道单元可执行的。 (英语) Zbl 1509.68187号 日志。计算方法。科学。 17,第1号,第14号论文,第26页(2021年).MSC公司:68问题85 04年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Luttik}和\textit{F.Yang},Log。计算方法。科学。17,第1号,第14号论文,第26页(2021年;Zbl 1509.68187) 全文: arXiv公司 链接
莫里斯·拉维奥;Jan Friso,格鲁特;Tim A.C.Willemse。 用于细化检查的正确有效的反链算法。 (英语) Zbl 1509.68168号 日志。计算方法。科学。 17,第1号,第8号论文,40页(2021年).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Laveaux}等人,日志。计算方法。科学。17,第1号,第8号论文,40页(2021;Zbl 1509.68168) 全文: arXiv公司 链接
奥曼·波霍拉,约翰内斯 重温Psi-calculi:连通性和组合性。 (英语) Zbl 1509.68180号 日志。计算方法。科学。 16,第4号,第16号论文,28页(2020年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.奥曼·波霍拉},Log。计算方法。科学。16,第4号,第16号文件,第28页(2020年;Zbl 1509.68180) 全文: arXiv公司 链接
劳拉·博奇;埃尔南·梅尔格拉蒂;埃米利奥·托斯托 论舞蹈编导中非决定论的解决。 (英语) Zbl 07269246号 日志。计算方法。科学。 16,第3号,第18号文件,第69页(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,日志。计算方法。科学。16,第3号,第18号文件,第69页(2020年;Zbl 07269246) 全文: arXiv公司 链接
罗布·范格拉贝克;巴斯·卢提克;琳达·斯潘宁斯 有根发散保持分枝双相似度是一个同余。 (英语) Zbl 1525.68087号 日志。计算方法。科学。 16,第3号,第14号论文,16页(2020年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}等人,日志。计算方法。科学。16,第3号,第14号论文,16页(2020年;Zbl 1525.68087) 全文: arXiv公司 链接
大卫·巴兹勒;莫里斯·比克。;罗萨里奥Pugliese 编配和舞蹈的综合:弥合监督控制和服务协调之间的差距。 (英语) Zbl 1528.68173号 日志。计算方法。科学。 16,第2号,第9号论文,29页(2020年).MSC公司:65年第68季度 第68季度第60季度 68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人,Log。计算方法。科学。16,第2号,第9号论文,29页(2020年;Zbl 1528.68173) 全文: arXiv公司 链接
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;Nantes Sobrinho,丹尼尔 关于名词句法和置换不动点。 (英语) Zbl 1528.68152号 日志。计算方法。科学。 16,第1号,第19号论文,36页(2020年).MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,日志。计算方法。科学。16,第1号,第19号论文,36页(2020年;Zbl 1528.68152) 全文: arXiv公司
安布罗斯·卡波西;科瓦奇,安德拉斯 高感应类型的特征和感应原理。 (英语) 兹比尔1528.03108 日志。计算方法。科学。 16,第1号,第10号论文,30页(2020年).MSC公司:03B38型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaposi}和\textit{A.Kovács},日志。计算方法。科学。16,第1号,第10号论文,30页(2020;Zbl 1528.03108) 全文: 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公司
罗伯特·福伯;拉杜·马达尔;Mio、Matteo 基于Riesz空间的概率逻辑。 (英语) Zbl 1442.03010号 日志。计算方法。科学。 16,第1号,第6号论文,45页(2020年).MSC公司:03B45号 03B48 03B70号 20层06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Furber}等人,日志。计算方法。科学。16,第1号,第6号论文,45页(2020;Zbl 1442.03010) 全文: arXiv公司
巴托克·克林;Łełyk,马特乌斯 原子的标量和向量演算。 (英语) Zbl 1442.68108号 日志。计算方法。科学。 15,第4号,第5号论文,47页(2019年).MSC公司:第68季度第60季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{M.eyk},日志。计算方法。科学。15,第4号,第5号论文,47页(2019年;Zbl 1442.68108) 全文: arXiv公司
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;约兰达奥尔特加购物中心 标称过程计算的规则格式。 (英语) Zbl 1442.68119号 日志。计算方法。科学。 15,第4号,第2号论文,46页(2019年).MSC公司:68问题85 03B70号 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Log。计算方法。科学。15,第4号,第2号论文,46页(2019年;Zbl 1442.68119) 全文: arXiv公司
安德烈·特夫内斯库;斯蒂芬·乔布;拉杜·梅鲁塔;布兰登·摩尔;格里高·罗什乌;⑩erbnuṭ呃,Traian Florin 全通可达性逻辑。 (英语) Zbl 1421.68015号 日志。计算方法。科学。 15,第2号,第5号论文,23页(2019年).MSC公司:68号30 03B70号 第68页第19页 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.ötefnescu}等人,《日志》。计算方法。科学。15,第2号,第5号论文,23页(2019年;Zbl 1421.68015) 全文: arXiv公司
摩西·加纳迪;斯特凡·格勒;马库斯·洛伊 有限系统上互模拟和仿真的复杂性。 (英语) 兹比尔1402.68092 日志。计算方法。科学。 14,第4号,第5号论文,29页(2018年).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}等人,日志。计算方法。科学。14,第4号,第5号论文,29页(2018;Zbl 1402.68092) 全文: 内政部 arXiv公司
尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 用于名称生成的证明相关的逻辑关系。 (英语) Zbl 1459.68041号 日志。计算方法。科学。 14,第1号,第25号论文,第22页(2018).MSC公司:68号30 03B70号 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人,Log。计算方法。科学。14,第1号,第25号论文,22页(2018;Zbl 1459.68041) 全文: 内政部 arXiv公司
Faghih、Fathiyeh;博尔祖·博纳克达尔普尔;塞巴斯蒂安·蒂谢尔;桑德普·库尔卡尼 分布式自稳定协议的自动合成。 (英语) Zbl 1398.68056号 日志。计算方法。科学。 14,第1号,第12号论文,25页(2018年).MSC公司:64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{F.Faghih}等人,日志。计算方法。科学。14,第1号,第12号论文,25页(2018;Zbl 1398.68056) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎;丹尼斯·库珀伯格;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 谈判的稳健性。 (英语) 兹比尔1459.68141 日志。计算方法。科学。 14,第1号,第4号论文,29页(2018年).MSC公司:68问题85 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,日志。计算方法。科学。14,第1号,第4号论文,29页(2018;Zbl 1459.68141) 全文: 内政部 arXiv公司
丹尼尔·格布勒;Larsen,Kim G。;蒂妮,西蒙 具有概率过程演算的组合互模拟度量推理。 (英语) Zbl 1398.68365号 日志。计算方法。科学。 12,第4号,第12号论文,38页(2016).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gebler}等人,《日志》。计算方法。科学。12,第4号,第12号论文,38页(2016;Zbl 1398.68365) 全文: 内政部
马西莫·巴托莱蒂;阿尔切斯特·斯卡拉斯;埃米利奥·托斯托;罗伯托·祖尼诺 通过打字诚实。 (英语) Zbl 1448.68327号 日志。计算方法。科学。 12,第4号,第7号论文,58页(2016年).MSC公司:68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,日志。计算方法。科学。12,第4号,第7号论文,58页(2016年;Zbl 1448.68327) 全文: 内政部 arXiv公司
安德烈·穆拉夫斯基。;尼科斯·齐夫列科斯 块状结构与范围挤压:介于天真与无所不知之间。 (英语) Zbl 1398.68096号 日志。计算方法。科学。 12,3号,第3号论文,43页(2016年).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos},日志。计算方法。科学。12,第3期,第3号论文,43页(2016;Zbl 1398.68096) 全文: 内政部 arXiv公司