何塞·梅塞盖尔 无限统一仙境中的变量和可满足性。 (英语) Zbl 07723898号 J.日志。阿尔盖布。方法计划。 134,文章ID 100877,38 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.Log。阿尔盖布。方法计划。134,文章ID 100877,38 p.(2023;Zbl 07723898) 全文: 内政部
埃马努伊尔·克拉萨纳基斯;安德烈亚斯·西梅尼迪斯 定义行为化关系,以便在半自动程序合成中进行推理。 (英语) Zbl 1528.68081号 J.日志。阿尔盖布。方法计划。 123,文章ID 100714,29 p.(2021).MSC公司:68号30 03B70型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Krasanakis}和\textit{A.Symeonidis},J.Log。阿尔盖布。方法计划。123,文章ID 100714,29 p.(2021;Zbl 1528.68081) 全文: 内政部
马吕斯·博兹加;拉杜·奥西夫;约瑟夫·西法基斯 检查基于参数化组件的系统的死锁自由度。 (英语) Zbl 1455.68102号 J.日志。阿尔盖布。方法计划。 119,文章ID 100621,23 p.(2021).MSC公司:60年第68季度 03B70型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人,J.Log。阿尔盖布。方法计划。119,文章ID 100621,23 p.(2021;Zbl 1455.68102) 全文: 内政部 arXiv公司