萨尔瓦多卢卡斯 停顿问题的根源。 (英语) Zbl 07377687号 J.日志。阿尔盖布。方法计划。 121,文章ID 100687,9 p.(2021).MSC公司:03-03 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},J.Log。阿尔盖布。方法计划。121,文章ID 100687,9 p.(2021;Zbl 07377687) 全文: 内政部
伊娃·格拉弗森;菲利普斯,伊恩;吉田、Nobuko (受控)可逆CCS的事件结构语义。 (英语) Zbl 07377686号 J.日志。阿尔盖布。方法计划。 121,文章ID 100686,52 p.(2021).MSC公司:68问题85 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.Graversen}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100686,52 p.(2021;Zbl 07377686) 全文: 内政部 链接
詹姆·拉莫斯;若昂·拉斯加;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 基于事件的时间戳索赔逻辑。 (英语) Zbl 07377685号 J.日志。阿尔盖布。方法计划。 121,文章ID 100684,28 p.(2021).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ramos}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100684,28 p.(2021;Zbl 07377685) 全文: 内政部
约瑟夫·布杜;安德烈亚斯·赫齐格;尼古拉斯·特罗夸德 命题赋值动态逻辑中的资源分离。 (英语) 兹比尔1518.68203 J.日志。阿尔盖布。方法计划。 121,文章ID 100683,17 p.(2021).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100683,17 p.(2021;Zbl 1518.68203) 全文: 内政部 链接
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应程序和并发程序。 (英语) Zbl 1518.68206号 J.日志。阿尔盖布。方法计划。 121,文章ID 100681,34 p.(2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100681,34 p.(2021;Zbl 1518.68206) 全文: 内政部 arXiv公司
萨尔瓦多卢卡斯 上下文敏感重写的应用和扩展。 (英语) 兹比尔1518.68157 J.日志。阿尔盖布。方法计划。 121,文章ID 100680,33 p.(2021).MSC公司:2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},J.Log。阿尔盖布。方法计划。121,文章ID 100680,33 p.(2021;Zbl 1518.68157) 全文: 内政部 链接
戴安娜·科斯塔;马丁斯(Manuel A.Martins)。 非对偶模态算子是混合逻辑中四值可及性关系的基础。 (英语) Zbl 07377681号 J.日志。阿尔盖布。方法计划。 121,文章ID 100679,25 p.(2021).MSC公司:03B53号 03B45号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Costa}和\textit{M.A.Martins},J.Log。阿尔盖布。方法计划。121,文章ID 100679,25 p.(2021;Zbl 07377681) 全文: 内政部 链接
本努尔,伊米德·埃丁 使用Lustre对定时同步数据流图进行形式化验证。 (英语) Zbl 1518.68202号 J.日志。阿尔盖布。方法计划。 121,文章ID 100678,24 p.(2021).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.E.Bennour},J.Log。阿尔盖布。方法计划。121,文章ID 100678,24 p.(2021;Zbl 1518.68202) 全文: 内政部
亨德里克·马兰德;塔尔莫乌斯塔卢 带半交换的操作语义。 (英语) Zbl 1518.68059号 J.日志。阿尔盖布。方法计划。 121,文章ID 100677,27 p.(2021).MSC公司:68号30 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Maarand}和\textit{T.Uustalu},J.Log。阿尔盖布。方法计划。121,文章ID 100677,27 p.(2021;Zbl 1518.68059) 全文: 内政部
乔治亚娜·卡尔泰斯;昆卡罐Tunç 解释NetKAT中的安全故障。 (英语) Zbl 1518.68046号 J.日志。阿尔盖布。方法计划。 121,文章ID 100676,16 p.(2021).MSC公司:68号30 03B70号 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}和\textit{H.C.Tunç},J.Log。阿尔盖布。方法计划。121,文章ID 100676,16 p.(2021;Zbl 1518.68046) 全文: 内政部 arXiv公司
约瓦娜·德代奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。 将补偿处理的原语作为可适应的进程。 (英语) Zbl 1518.68231号 J.日志。阿尔盖布。方法计划。 121,文章ID 100675,65 p.(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dedeić}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100675,65 p.(2021;Zbl 1518.68231) 全文: 内政部 链接
米歇尔·古兹曼;索菲亚·奈特;圣地亚哥金特罗;塞尔吉奥·拉米雷斯;卡米洛·鲁埃达;弗兰克·巴伦西亚 关于具有无限多个代理的分布式信息的推理。 (英语) Zbl 1518.68401号 J.日志。阿尔盖布。方法计划。 121,文章ID 100674,35 p.(2021).MSC公司:68T42型 10年6月 68问题85 68单位05 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{M.Guzmán}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100674,35 p.(2021;Zbl 1518.68401) 全文: 内政部
安德烈·阿鲁索艾 认证区块链的Findel衍生品。 (英语) Zbl 1518.91271号 J.日志。阿尔盖布。方法计划。 121,文章ID 100665,第20页(2021).MSC公司:9120国集团 91G80型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie},J.Log。阿尔盖布。方法计划。121,文章ID 100665,20 p.(2021;Zbl 1518.91271) 全文: 内政部 arXiv公司
梅德利纳·埃拉什库;佛罗里达州米科塔;丹妮拉·扎哈里 使用优化模理论、数学编程和对称破缺,在基于组件的应用程序云中进行可扩展的优化部署。 (英语) Zbl 1518.68021号 J.日志。阿尔盖布。方法计划。 121,文章ID 100664,23 p.(2021).MSC公司:68英里11 90摄氏度 PDF格式BibTeX公司 XML格式引用 \textit{M.Erašcu}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100664,第23页(2021;Zbl 1518.68021) 全文: 内政部 arXiv公司
保罗·波托尼(编辑);洛科·德尼古拉(编辑);丹尼尔·戈拉(编辑) 社论:向安娜·拉布拉致敬。 (英语) Zbl 1466.00041号 J.日志。阿尔盖布。方法计划。 121,文章ID 100663,2 p.(2021).MSC公司:00B30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bottoni}(编辑)等,J.Log。阿尔盖布。方法计划。121,文章编号100663,2页(2021;Zbl 1466.00041) 全文: 内政部
汉斯·范·迪特马什;埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 平等否定和其他认知覆盖任务的动态认知逻辑分析。 (英语) Zbl 1502.68195号 J.日志。阿尔盖布。方法计划。 121,文章ID 100662,26 p.(2021). 审核人:菲利普·高彻(巴黎) MSC公司:68问题85 03B42号 03B70号 57M10个 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100662,26 p.(2021;Zbl 1502.68195) 全文: 内政部
Jean-Christophe Filliátre 使用分散不变量进行更简单的证明。 (英语) Zbl 1518.68048号 J.日志。阿尔盖布。方法计划。 121,文章ID 100645,第7页(2021).MSC公司:68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Filliátre},J.Log。阿尔盖布。方法计划。121,文章ID 100645,第7页(2021;Zbl 1518.68048) 全文: 内政部 哈尔
马格尼·哈夫雷恩;贾科·加尔维 多路数据流约束系统的语义。 (英语) Zbl 1518.68052号 J.日志。阿尔盖布。方法计划。 121,文章ID 100634,26 p.(2021).MSC公司:68号30 03B70号 03G30型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Haveraaen}和\textit{J.Järvi},J.Log。阿尔盖布。方法计划。121,文章ID 100634,第26页(2021;Zbl 1518.68052) 全文: 内政部