Jan A.Bergstra。;约翰·V·塔克。 有理数的部分算术数据类型及其等式规范。 (英语) Zbl 07576527号 J.日志。阿尔盖布。方法计划。 128,文章ID 100797,16 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},J.Log。阿尔盖布。方法计划。128,文章ID 100797,16 p.(2022;Zbl 07576527) 全文: 内政部
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 具有绑定和静默转换的混合动态逻辑的观察解释。 (英语) Zbl 1528.68224号 J.日志。阿尔盖布。方法计划。 122,文章ID 100698,19 p.(2021).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,J.Log。阿尔盖布。方法计划。122,文章ID 100698,19 p.(2021;Zbl 1528.68224) 全文: 内政部
迭戈·马姆斯勒;阿纳·彼得罗夫斯卡 动态架构的运行时验证。 (英语) Zbl 1455.68106号 J.日志。阿尔盖布。方法计划。 118,文章ID 100618,26 p.(2021).MSC公司:60年第68季度 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{D.Marmsoler}和\textit{A.Petrovska},J.Log。阿尔盖布。方法计划。118,文章ID 100618,第26页(2021;兹bl 1455.68106) 全文: 内政部
艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米盖尔·伊莎贝尔;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 软件定义网络的基于角色的模型检查。 (英语) Zbl 1455.68101号 J.日志。阿尔盖布。方法计划。 118,文章ID 100617,26 p.(2021).MSC公司:60年第68季度 68纳米30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,J.Log。阿尔盖布。方法计划。118,文章ID 100617,26 p.(2021;Zbl 1455.68101) 全文: 内政部 arXiv公司 链接
马塞尔·杰克逊;米库拉斯(Mikulás,Szabolcs) 天使和恶魔作品的领域和范围。 (英语) Zbl 1417.68033号 J.日志。阿尔盖布。方法计划。 103, 62-78 (2019).MSC公司:68纳米30 08A70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{S.MikuláS},J.Log。阿尔盖布。方法计划。103、62-78(2019年;Zbl 1417.68033) 全文: 内政部 arXiv公司 链接
马西里奥·奥·莱莫斯。;尤里·吉尔·丹塔斯;Fonseca,Iguatemi E。;Vivek Nigam先生 关于TDoS攻击选择性防御正式验证的准确性。 (英语) Zbl 1476.68152号 J.日志。阿尔盖布。方法计划。 94, 45-67 (2018).MSC公司:60年第68季度 68英里11 90B18号机组 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.O.O.Lemos}等人,J.Log。阿尔盖布。方法计划。94、45-67(2018年;Zbl 1476.68152) 全文: 内政部 arXiv公司
亚历山德鲁·拉泽尔。;安德烈·索夫斯基 安全关键产品线翻译验证的值得信赖的变体派生。 (英语) Zbl 1392.68145号 J.日志。阿尔盖布。方法计划。 85,第6期,1154-1176(2016).MSC公司:68纳米30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Iosif-Laząr}和\textit{A.Wਲ਼sowski},J.Log。阿尔盖布。方法计划。85,第6号,1154--1176(2016;Zbl 1392.68145) 全文: 内政部
拉兹万·迪亚科内斯库;Ţuţu,伊奥努 构建行为规范的基础。 (英语) Zbl 1434.68305号 J.日志。阿尔盖布。方法计划。 83,编号3-4,319-338(2014).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{I.u u},J.Log。阿尔盖布。方法计划。83,编号3--4,319--338(2014;Zbl 1434.68305) 全文: 内政部
沃尔夫拉姆·卡尔 通过嵌套代码图转换实现“可成型代码”。 (英语) Zbl 1371.68051号 J.日志。阿尔盖布。方法计划。 83,第225-234号(2014年).MSC公司:68纳米30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},J.Log。阿尔盖布。方法计划。83,No.2,225--234(2014;Zbl 1371.68051) 全文: 内政部