卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 使用递归确定HML的监控器。 (英语) Zbl 1494.68155号 J.日志。代数。方法计划。 111,文章ID 100515,38 p.(2020).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。代数。方法计划。111,文章ID 100515,38 p.(2020;Zbl 1494.68155) 全文: 内政部 arXiv公司
贝内维特斯,马里奥·R·F·。(编辑);亚历山大·马德拉(编辑) DaLí–动态逻辑、新趋势和应用。 (英语) Zbl 1489.00021号 J.日志。代数。方法计划。 111,文章ID 100514,2 p.(2020).MSC公司:00B15号机组 00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.R.F.Benevides}(编辑)和\textit{A.Madeira}(编辑),J.Log。代数。方法计划。111,文章ID 100514,第2页(2020;Zbl 1489.00021) 全文: 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔;卡米洛·罗查 有序条件规范模公理的基础汇合。 (英语) Zbl 1498.68073号 J.日志。代数。方法计划。 111,文章ID 100513,117 p.(2020).MSC公司:68号30 68甲18 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,J.Log。代数。方法计划。111,文章ID 10051317 p.(2020;Zbl 1498.68073) 全文: 内政部
保罗·唐恩;菲利普·约翰森·弗雷德;泽纳·M·阿里奥拉。 经典计算的强归一化抽象模型。 (英语) Zbl 1494.68055号 J.日志。代数。方法计划。 111,文章ID 100512,27 p.(2020).MSC公司:68号30 03B40型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Downen}等人,J.Log。代数。方法计划。111,文章ID 100512,27 p.(2020;Zbl 1494.68055) 全文: 内政部 链接
洛科·德尼古拉;Gianluigi法拉利;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 特定于域的分布式系统工程的正式方法。 (英语) Zbl 1494.68022号 J.日志。代数。方法计划。 111,文章ID 100511,37 p.(2020).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,J.Log。代数。方法计划。111,文章ID 100511,37 p.(2020;Zbl 1494.68022) 全文: 内政部 arXiv公司
伊斯梅尔·罗德里格斯;费尔南多·罗莎·维拉尔多;费尔南多·鲁比奥 将复杂性引入正式测试。 (英语) Zbl 1494.68099号 J.日志。代数。方法计划。 111,文章ID 100502,30 p.(2020).MSC公司:65年第68季度 68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}等人,J.Log。代数。方法计划。111,文章ID 100502,30 p.(2020;Zbl 1494.68099) 全文: 内政部