彼得·霍夫纳(编辑);Damien Pous(编辑);乔治·斯特鲁斯(编辑) 计算机科学中的关系和代数方法。 (英语) Zbl 1423.68028号 J.日志。阿尔盖布。方法计划。 106, 198-199 (2019).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}(编辑)等人,J.Log。阿尔盖布。方法计划。106198-199(2019年;Zbl 1423.68028) 全文: 内政部
菲利普·哈勒(编辑);Vascoconcelos、Vasco Thudichum(编辑) 关于以并发和通信为中心的软件编程语言方法的第十次研讨会的特刊。 (英语) Zbl 1423.68026号 J.日志。阿尔盖布。方法计划。 106, 196-197 (2019).MSC公司:68-06 68牛顿 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Haller}(编辑)和\textit{V.T.Vasconcelos}(主编),J.Log。阿尔盖布。方法计划。106196-197(2019年;Zbl 1423.68026) 全文: 内政部
费尔南多·马西亚斯;乌韦·沃尔特;阿德里安·拉特尔;弗朗西斯科·杜兰;罗伯托·罗德里格斯·埃切韦里亚 多级耦合模型转换用于精确和可重用的模型行为定义。 (英语) Zbl 1423.68105号 J.日志。阿尔盖布。方法计划。 106167-195(2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Macías}等人,J.Log。阿尔盖布。方法计划。106167-195(2019年;Zbl 1423.68105) 全文: 内政部 arXiv公司
JoséLuiz Fiadeiro;Ţuţu,伊奥努;安托尼亚州洛佩斯;达斯科·巴甫洛维奇 行动者网络逻辑:两阶段约束混合方法。 (英语) Zbl 1423.68048号 J.日志。阿尔盖布。方法计划。 106, 141-166 (2019).MSC公司:68M10个 03B70型 68个M12 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}等人,J.Log。阿尔盖布。方法计划。106141-166(2019年;Zbl 1423.68048) 全文: 内政部
斯梅茨,索尼娅;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 基于群体规模的社交网络创建的逻辑研究。 (英语) Zbl 1425.91379号 J.日志。阿尔盖布。方法计划。 106, 117-140 (2019).MSC公司:91天30分 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{S.Smets}和\textit{F.R.Velázquez-Quesada},J.Log。阿尔盖布。方法计划。106117-140(2019年;Zbl 1425.91379) 全文: 内政部
张忠熙;李庆国 完成偏序集的统一方法。 (英语) Zbl 1437.06001号 J.日志。阿尔盖布。方法计划。 106, 107-116 (2019).MSC公司:06年06月06日 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}和\textit{Q.Li},J.Log。阿尔盖布。方法计划。106、107-116(2019年;Zbl 1437.06001) 全文: 内政部
卢卡·埃特罗;伊格纳西奥·法布雷加斯;卡洛斯·格雷戈里奥·罗德里格斯;Anna Ingólfsdóttir 输入输出一致性模拟的逻辑特征、规则格式和组合性。 (英语) Zbl 1423.68091号 J.日志。阿尔盖布。方法计划。 106, 78-106 (2019).MSC公司:68号30 03B45号 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。106、78——106(2019年;Zbl 1423.68091) 全文: 内政部
A.K.McIver。;C.C.摩根。;T·拉贝哈加。 定量信息流的程序代数。 (英语) Zbl 1423.68106号 J.日志。阿尔盖布。方法计划。 106, 55-77 (2019).MSC公司:68号30 68页30 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}等人,J.Log。阿尔盖布。方法计划。106、55-77(2019年;Zbl 1423.68106) 全文: 内政部
Dan R.吉卡。;库洛德·阿利亚亚 使用LSTM对游戏模型进行潜在语义分析。 (英语) Zbl 1423.68086号 J.日志。阿尔盖布。方法计划。 106, 39-54 (2019).MSC公司:68甲15 68问题55 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Ghica}和\textit{K.Alyahya},J.Log。阿尔盖布。方法计划。106、39-54(2019年;Zbl 1423.68086) 全文: 内政部 链接
张敬之;王国辉;史志平;关勇;李永东 HOL Light中功能变化的形式化。 (英语) Zbl 1423.68427号 J.日志。阿尔盖布。方法计划。 106, 29-38 (2019).MSC公司:68吨15 49公里27 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,J.Log。阿尔盖布。方法计划。106、29-38(2019年;Zbl 1423.68427) 全文: 内政部
马赫萨·瓦尔肖萨兹;拉斯·鲁特曼;保罗·摩尔;马耳他州洛豪;穆罕默德·雷扎·穆萨维 特征转换系统的模态转换系统编码。 (英语) Zbl 1423.68113号 J.日志。阿尔盖布。方法计划。 106, 1-28 (2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Varshosaz}等人,J.Log。阿尔盖布。方法计划。106,1--28(2019年;Zbl 1423.68113) 全文: 内政部 链接