弗拉德·鲁苏;大卫·诺瓦克 可达逻辑中的组合证明的(Co)归纳证明系统。 (英语) Zbl 1455.03040号 J.日志。阿尔盖布。方法计划。 118,文章ID 100619,28 p.(2021).MSC公司:03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}和\textit{D.Nowak},J.Log。阿尔盖布。方法程序。118,文章ID 100619,28 p.(2021;Zbl 1455.03040) 全文: 内政部 arXiv公司
迭戈·马姆斯勒;阿纳·彼得罗夫斯卡 动态架构的运行时验证。 (英语) 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 p.(2021;Zbl 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公司 链接
玛丽莎·纳瓦罗;费尔南多·奥雷贾斯;埃尔维拉·皮诺;莱恩·兰伯斯 用于推理图形属性的导航逻辑。 (英语) 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) 全文: 内政部 链接
Dokter,Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 带记忆的软约束自动机。 (英语) Zbl 1455.68087号 J.日志。阿尔盖布。方法计划。 118,文章ID 100615,17 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法程序。118,文章ID 100615,17 p.(2021;Zbl 1455.68087) 全文: 内政部 链接