迪伦·麦克德莫特;阿兰·迈克罗夫特 Galois连接按值调用和按名称调用。 (英语) Zbl 07814921号 日志。方法计算。科学。 20,第1号,第13号论文,43页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.McDermott}和\textit{A.Mycroft},日志。方法计算。科学。20,第1号,第13号论文,43页(2024;Zbl 07814921) 全文: 内政部 arXiv公司
纳塔内尔·阿尔佩;彼得·吉普森;杉本,梅丽莎 一元决定分配(ell)-岩浆和丛蕴涵代数的种类。 (英语) Zbl 07814920号 日志。方法计算。科学。 20,第1号,第12号文件,第22页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Alpay}等人,《日志》。方法计算。科学。20,第1号,第12号论文,22页(2024;Zbl 07814920) 全文: 内政部 arXiv公司
劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁,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公司
阿纳尔多·塞斯科;罗伯托·戈里埃里 有限有界Petri网两个真正并发等价的判定性。 (英语) 兹比尔07789009 日志。方法计算。科学。 19,第4号,第37号论文,37页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cesco}和\textit{R.Gorrieri},日志。方法计算。科学。19,第4号,第37号论文,37页(2023;Zbl 07789009) 全文: 内政部 arXiv公司
温·科克;奥尔内拉·达达 优先考虑最佳变体。 (英语) Zbl 07789000号 日志。方法计算。科学。 19,第4期,第28号论文,47页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{W.Kokke}和\textit{O.Dardha},日志。方法计算。科学。19,第4号,第28号论文,47页(2023年;Zbl 07789000) 全文: 内政部 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公司
Rojo,Randrianomentsoa;汉斯·范·迪特马什;罗马库兹涅茨 不纯正单形复数:完全公理化。 (英语) 兹伯利0775363 日志。方法计算。科学。 19,第4号,第3号论文,35页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Randrianomentsoa}等人,《日志》。方法计算。科学。19,第4号,第3号论文,35页(2023;Zbl 07753363) 全文: 内政部 arXiv公司
佛朗哥·巴巴内拉;伊万·拉内斯;埃米利奥·托斯托 形式舞蹈语言的理论。 (英语) Zbl 07731937号 日志。方法计算。科学。 19,第3号,第9号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,日志。方法计算。科学。19,第3号,第9号论文,36页(2023;Zbl 07731937) 全文: 内政部 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公司
西蒙·福勒;温·科克;奥尔内拉·达达;萨姆·林德利;J.Garrett莫里斯 顺利分离会话。 (英语) Zbl 07731931号 日志。方法计算。科学。 19,第3期,第3号论文,52页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Fowler}等人,日志。方法计算。科学。19,第3期,第3号论文,52页(2023;Zbl 07731931) 全文: 内政部 arXiv公司
马可·贝尔纳多;克劳迪奥·梅齐纳。 桥接因果可逆性和时间可逆性:随机过程代数方法。 (英语) Zbl 07731917号 日志。方法计算。科学。 19,第2号,第6号论文,27页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{C.A.Mezzina},Log。方法计算。科学。19,第2号,第6号论文,27页(2023;Zbl 07731917) 全文: 内政部 arXiv公司
达纳·菲斯曼;哈达尔·弗兰克尔;桑德拉·齐勒斯 推断符号自动机。 (英语) Zbl 07731916号 日志。方法计算。科学。 19,第2号,第5号论文,37页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人,《日志》。方法计算。科学。19,第2号,第5号论文,37页(2023;Zbl 07731916) 全文: 内政部 arXiv公司
乔治·奥德里托;罗伯特·卡萨迪;费卢西奥·达米亚尼;米尔科·维罗利 针对邻居的计算:使用函数编程和Scala解决大规模分布和适应性问题。 (英语) Zbl 07667096号 日志。方法计算。科学。 19,第1号,第6号论文,59页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Audrito}等人,日志。方法计算。科学。19,第1号,第6号论文,59页(2023年;Zbl 07667096) 全文: 内政部 arXiv公司
弗朗西斯科·达格尼诺;保拉·吉安尼尼;马里亚纽拉州Dezani-Ciancaglini 已取消对异步会话的全局类型的限制。 (英语) 兹伯利07667093 日志。方法计算。科学。 19,第1号,第3号论文,41页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Dagnino}等人,日志。方法计算。科学。19,第1号,第3号论文,41页(2023;Zbl 07667093) 全文: 内政部 arXiv公司
马里奥·阿尔维姆。;伯纳多·阿莫林;索菲亚·奈特;圣地亚哥金特罗;巴伦西亚,弗兰克 社交网络中确认偏差下的极化形式模型。 (英语) Zbl 07667091号 日志。方法计算。科学。 19,第1号,第18号文件,第38页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Alvim}等人,日志。方法计算。科学。19,第1号,第18号论文,38页(2023;Zbl 07667091) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir,安娜 一阶分支时间属性的双向运行时强制。 (英语) Zbl 07667087号 日志。方法计算。科学。 19,第1号,第14号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,日志。方法计算。科学。19,第1号,第14号论文,44页(2023;Zbl 07667087) 全文: 内政部 arXiv公司
菲利波·邦奇;阿莱西奥·桑塔马利亚 弱分布律的凸性。 (英语) Zbl 07639916号 日志。方法计算。科学。 18,第4号,第8号论文,55页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{A.Santamaria},Log。方法计算。科学。18,第4号,第8号论文,55页(2022;Zbl 07639916) 全文: 内政部 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 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 07566056号 日志。方法计算。科学。 18,第1号,第43号文件,第80页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Sterling}等人,日志。方法计算。科学。18,第1号,第43号论文,80页(2022;Zbl 07566056) 全文: 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公司 链接
Maaike兹瓦特;丹·马斯登 分配律的No-go定理。 (英语) Zbl 07471702号 日志。方法计算。科学。 18,第1号,第13号文件,第61页(2022).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Zwart}和\textit{D.Marsden},日志。方法计算。科学。18,第1号,第13号论文,61页(2022;Zbl 07471702) 全文: arXiv公司 链接
达斯,安库什;弗兰克·芬宁 Rast:一种用于资源软件会话类型的语言。 (英语) Zbl 07471698号 日志。方法计算。科学。 18,第1号,第9号论文,36页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{F.Pfenning},日志。方法计算。科学。18,第1号,第9号论文,36页(2022;Zbl 07471698) 全文: arXiv公司 链接
玛丽亚·皮图;乔治·拉霍尼斯 基于参数化组件的系统中的体系结构:定性和定量建模。 (英语) Zbl 07471686号 日志。方法计算。科学。 17,第4号,第26号论文,53页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Pittou}和\textit{G.Rahonis},Log。方法计算。科学。17,第4号,第26号论文,53页(2021;Zbl 07471686) 全文: 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公司 链接
G.Michele Pinna 事件结构中依赖关系的新操作表示。 (英语) 兹伯利07476176 日志。方法计算。科学。 17,第4号,第16号论文,30页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Pinna},日志。方法计算。科学。17,第4号,第16号论文,30页(2021;Zbl 07471676) 全文: arXiv公司 链接
丹尼尔·皮亚尼尼;罗伯特·卡萨迪;米尔科·维罗利;玛丽亚尼,斯特凡诺;赞博内利,佛朗哥 通过可编程分布式调度器进行基于时间流的现场协调。 (英语) Zbl 07471673号 日志。方法计算。科学。 17,第4号,第13号论文,48页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Pianini}等人,Log。方法计算。科学。17,第4号,第13号论文,48页(2021;Zbl 07471673) 全文: 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公司 链接
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 弱双Kleene代数的等价性检验。 (英语) Zbl 07407791号 日志。方法计算。科学。 17,第3号,第19号论文,53页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,日志。方法计算。科学。17,第3号,第19号论文,53页(2021;Zbl 07407791) 全文: arXiv公司 链接
斯特凡·德姆里;爱蒂安·洛兹;Alessio曼苏蒂 无量词分离逻辑的完整公理化。 (英语) Zbl 07407789号 日志。方法计算。科学。 17,第3号,第17号文件,第64页(2021).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,日志。方法计算。科学。17,第3号,第17号论文,64页(2021;Zbl 07407789) 全文: arXiv公司 链接
赫尔曼·格乌弗斯;巴特·雅各布斯 相关隔离和相互模拟。 (英语) Zbl 1525.68083号 日志。方法计算。科学。 17,第3号,第15号论文,35页(2021年).MSC公司:68问题85 03B70号 18个B05 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Geuvers}和\textit{B.Jacobs},Log。方法计算。科学。17,第3号,第15号文件,第35页(2021;兹bl 1525.68083) 全文: arXiv公司 链接
丹·弗鲁明;罗伯特·克雷伯斯;拉尔斯·比克达尔 ReLoC重载:用于细粒度并发和逻辑原子性的机械化关系逻辑。 (英语) Zbl 07407781号 日志。方法计算。科学。 17,第3号,第9号论文,59页(2021年).MSC公司:03B70号 03B35型 68问题85 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Frumin}等人,日志。方法计算。科学。17,第3号,第9号论文,59页(2021;Zbl 07407781) 全文: arXiv公司 链接
罗布·范格拉贝克 带超时的进程代数的故障跟踪语义。 (英语) Zbl 07350777号 日志。方法计算。科学。 17,第2号,第11号论文,40页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},日志。方法计算。科学。17,第2号,第11号论文,40页(2021;Zbl 07350777) 全文: arXiv公司 链接
乌里·法伦贝格;克里斯蒂安·约翰森;克里斯托弗·特罗特(Christopher A.Trotter)。;Krzysztof,Zimiañski 同时进行雕塑。 (英语) Zbl 07350771号 日志。方法计算。科学。 17,第2号,第5号论文,32页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,日志。方法计算。科学。17,第2号,第5号论文,32页(2021;Zbl 07350771) 全文: arXiv公司 链接
顾涛;法比奥·扎纳西 概率逻辑编程的协代数语义。 (英语) Zbl 07350768号 日志。方法计算。科学。 17,第2期,第2号论文,35页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Gu}和\textit{F.Zanasi},日志。方法计算。科学。17,第2号,第2篇论文,35页(2021;Zbl 07350768) 全文: arXiv公司 链接
马里奥·布拉维蒂;马尔科·卡博尼;朱利安·兰格;吉田、Nobuko;吉安路易吉·扎瓦塔罗 异步会话子类型的完善算法及其实现。 (英语) Zbl 1509.68184号 日志。方法计算。科学。 17,第1号,第20号论文,35页(2021年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}等人,日志。方法计算。科学。17,第1号,第20号论文,第35页(2021;Zbl 1509.68184) 全文: arXiv公司 链接
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔 计算概率自动机的概率双相似距离。 (英语) Zbl 1509.68181号 日志。方法计算。科学。 17,第1号,第9号文件,第36页(2021).MSC公司:68问题85 03B44号 65年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,日志。方法计算。科学。17,第1号,第9号论文,36页(2021;Zbl 1509.68181) 全文: 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公司 链接
奥曼·波霍拉,约翰内斯 重温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公司 链接
马西斯·雷内拉 概率调用名FPC中的凸性和顺序。 (英语) Zbl 1517.68217号 日志。方法计算。科学。 16,第4号,第10号论文,25页(2020年).MSC公司:68问题55 06B35号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Rennela},日志。方法计算。科学。16,第4号,第10号论文,25页(2020年;Zbl 1517.68217) 全文: arXiv公司 链接
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;伊雷克·乌利多夫斯基 反向放置过渡网。 (英语) Zbl 07269252号 日志。方法计算。科学。 16,第4号,第5号论文,28页(2020年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Melgratti}等人,日志。方法计算。科学。16,第4号,第5号论文,28页(2020;Zbl 07269252) 全文: arXiv公司 链接
乔治·奥德里托;雅各布·比尔;费卢西奥·达米亚尼;丹尼尔·皮亚尼尼;米尔科·维罗利 与共享运营商进行现场协调。 (英语) Zbl 07269248号 日志。方法计算。科学。 16,第4号,第1号论文,41页(2020年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Audrito}等人,日志。方法计算。科学。16,第4号,第1号论文,41页(2020;Zbl 07269248) 全文: arXiv公司 链接
威廉·康雷迪;亚历山德拉·帕尔米吉亚诺 归纳不等式的构造性规范。 (英语) 兹比尔07243670 日志。方法计算。科学。 16,第3号,第8号论文,39页(2020年).MSC公司:03B45号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}和\textit{A.Palmigiano},日志。方法计算。科学。16,第3号,第8号文件,第39页(2020年;Zbl 07243670) 全文: arXiv公司 链接
尼古拉斯·贝尔;巴布亚州索波辛斯基 粘合类别的规则代数。 (英语) Zbl 1444.68083号 日志。方法计算。科学。 16,第3号,第2号论文,38页(2020年).MSC公司:2012年第68季度 18A30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr}和\textit{P.Sobocinn ski},Log。方法计算。科学。16,第3号,第2号论文,38页(2020年;Zbl 1444.68083) 全文: arXiv公司 链接
大卫·巴兹勒;莫里斯·比克。;罗萨里奥·普格利泽 编配和舞蹈的综合:弥合监督控制和服务协调之间的差距。 (英语) Zbl 1528.68173号 日志。方法计算。科学。 16,第2号,第9号论文,29页(2020年).MSC公司:65年第68季度 60年第68季度 68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人,Log。方法计算。科学。16,第2号,第9号论文,29页(2020年;Zbl 1528.68173) 全文: arXiv公司 链接
G.Michele Pinna 表示事件结构中的依赖项。 (英语) Zbl 1528.68257号 日志。方法计算。科学。 16,第2号,第3号论文,25页(2020年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Pinna},日志。方法计算。科学。16,第2号,第3号论文,25页(2020年;Zbl 1528.68257) 全文: arXiv公司 链接
巴特·雅各布斯;亚伯拉罕·韦斯特班 状态之间和谓词之间的距离。 (英语) Zbl 1528.60014号 日志。方法计算。科学。 16,第1号,第26号论文,第27页(2020年).MSC公司:60B99型 第81页,共16页 18B99型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}和\textit{A.Westeban},Log。方法计算。科学。16,第1号,第26号论文,第27页(2020年;Zbl 1528.60014) 全文: arXiv公司 链接
安娜贝拉·麦克维尔;卡罗尔·摩根;塔希里·拉贝哈加 抽象隐马尔可夫模型:定量信息流的一元描述。 (英语) Zbl 1423.68107号 日志。方法计算。科学。 15,第1号,第36号论文,50页(2019年).MSC公司:68号30 60J20型 68页30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人,日志。方法计算。科学。15,第1号,第36号论文,50页(2019年;Zbl 1423.68107) 全文: 内政部 arXiv公司
西蒙·多尔蒂;大卫·皮姆 分离逻辑的石头型对偶。 (英语) Zbl 1432.03046号 日志。方法计算。科学。 15,第1号,第27号论文,51页(2019年).MSC公司:03B70号 03B20型 03G25号 06年50月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。15,第1号,第27号论文,51页(2019年;Zbl 1432.03046) 全文: arXiv公司
托马斯·布伦戈斯;马可·佩雷索蒂 定时系统的行为等效性。 (英语) Zbl 1407.68331号 日志。方法计算。科学。 15,第1号,第17号论文,41页(2019年).MSC公司:68问题85 18B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brengos}和\textit{M.Peressotti},日志。方法计算。科学。15,第1号,第17号论文,41页(2019年;Zbl 1407.68331) 全文: arXiv公司
威廉·康雷迪;亚历山德拉·帕尔米吉亚诺;赵志光 通过翻译实现Sahlqvist。 (英语) Zbl 1515.03091号 日志。方法计算。科学。 15,第1号,第15号论文,第35页(2019年).MSC公司:03B45号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,日志。方法计算。科学。15,第1号,第15号论文,35页(2019年;Zbl 1515.03091) 全文: arXiv公司
阿德里亚娜·巴兰;亚历山大·库兹;吉·维勒比尔 将集函子扩展到广义度量空间。 (英语) Zbl 1408.18005号 日志。方法计算。科学。 15,第1号,第5号论文,57页(2019年). 审核人:Hirokazu Nishimura(筑波) MSC公司:18B35型 18D20天 PDF格式BibTeX公司 XML格式引用 \textit{A.Balan}等人,日志。方法计算。科学。15,第1号,第5号论文,57页(2019年;Zbl 1408.18005) 全文: arXiv公司
米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森 关于加权过渡系统中边界的推理。 (英语) Zbl 1528.68253号 日志。方法计算。科学。 14,第4号,第19号论文,32页(2018年).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hansen}等人,日志。方法计算。科学。14,第4号,第19号论文,32页(2018;Zbl 1528.68253) 全文: 内政部 arXiv公司
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 马尔可夫链上双相似距离的完整定量推导系统。 (英语) Zbl 1409.68182号 日志。方法计算。科学。 14,第4号,第15号论文,29页(2018年).MSC公司:68问题85 03B70号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,日志。方法计算。科学。14,第4号,第15号论文,29页(2018;Zbl 1409.68182) 全文: 内政部 arXiv公司
罗伯特·格莱克;罗宾·卡斯加德 结构化可逆流程图语言的分类基础:可靠性和充分性。 (英语) Zbl 1398.68082号 日志。方法计算。科学。 14,第3号,第16号论文,第38页(2018).MSC公司:68甲15 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{R.Kaarsgaard},Log。方法计算。科学。14,第3号,第16号论文,38页(2018;Zbl 1398.68082) 全文: 内政部 arXiv公司
Natsuki Urabe;一郎·哈索 Coalgebraic无限迹和Kleisli模拟。 (英语) Zbl 1511.68188号 日志。方法计算。科学。 14,第3号,第15号论文,38页(2018).MSC公司:68问题85 18个C20 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{N.Urabe}和\textit{I.Hasuo},日志。方法计算。科学。14,第3号,第15号论文,38页(2018;Zbl 1511.68188) 全文: 内政部 arXiv公司
托马斯·杰奈特;三文鱼,Yann 最内层重写的可达性分析。 (英语) Zbl 1398.68274号 日志。方法计算。科学。 13,第1号,第12号论文,35页(2017年).MSC公司:2012年第68季度 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet}和\textit{Y.鲑鱼},Log。方法计算。科学。13,第1号,第12号论文,35页(2017;Zbl 1398.68274) 全文: 内政部 arXiv公司
马西莫·巴托莱蒂;斯卡拉斯,阿尔凯斯特;埃米利奥·托斯托;罗伯托·祖尼诺 通过打字诚实。 (英语) Zbl 1448.68327号 日志。方法计算。科学。 12,第4号,第7号论文,58页(2016年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,日志。方法计算。科学。12,第4号,第7号论文,58页(2016年;Zbl 1448.68327) 全文: 内政部 arXiv公司
钟曼,宋世堂。;法哈德·阿尔巴 约束自动机的数据优化。 (英语) Zbl 1398.68312号 日志。方法计算。科学。 12,第3号,第11号论文,38页(2016).MSC公司:65年第68季度 第68页第20页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.-S.T.Q.Jongmans}和\textit{F.Arbab},日志。方法计算。科学。12,第3号,第11号论文,38页(2016;Zbl 1398.68312) 全文: 内政部 arXiv公司