罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 具有绑定和静默转换的混合动态逻辑的观察解释。 (英语) 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.68147号 J.日志。阿尔盖布。方法计划。 118,文章ID 100616,34 p.(2021).MSC公司:68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Navarro}等人,J.日志。阿尔盖布。方法计划。118,文章ID 100616,34 p.(2021;Zbl 1455.68147) 全文: 内政部 链接
卡默·阿皮尼;瓦尔莫·维尼;维萨尔·沃达尼 基于地图的抽象域的需求驱动的过程间分析。 (英语) 兹比尔1400.68054 J.日志。阿尔盖布。方法计划。 100, 57-70 (2018).MSC公司:68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Apinis}等人,J.Log。阿尔盖布。方法计划。100,57-70(2018;Zbl 1400.68054) 全文: 内政部
达米亚诺·扎纳尔迪尼;艾尔维拉·阿尔伯特;卡里娜·维莱拉 软件产品线中的资源-软件配置。 (英语) Zbl 1346.68071号 J.日志。阿尔盖布。方法计划。 85,第1号,第2部分,173-199(2016).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Zanardini}等人,J.Log。阿尔盖布。方法计划。85,第1号,第2部分,173--199(2016;Zbl 1346.68071) 全文: 内政部