马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 具有有限整数区间的有限集理论的决策过程。 (英语) Zbl 07807741号 ACM事务处理。计算。日志。 25,第1号,第3号论文,34页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},ACM翻译。计算。日志。25,第1号,第3号论文,34页(2023;Zbl 07807741) 全文: 内政部 arXiv公司
马克西米利亚诺·克里斯蒂亚;吉多·德卢卡;卡洛斯·卢纳 Android权限系统的自动验证原型。 (英语) Zbl 07702723号 J.汽车。推理 67,第2期,第17号论文,24页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}等人,J.Autom。推理67,第2号,论文17,24页(2023;Zbl 07702723) 全文: 内政部 arXiv公司
阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;恩里科·蓬泰利;法比奥·塔迪沃 {CUDA}:在GPU上设置约束。 (英语) Zbl 1490.68080号 伦德。问题。的里雅斯特马特大学 53,第24号论文,27页(2021年).MSC公司:68号30 03B70号 03E75型 68N17号 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}等人,Rend。问题。Trieste Mat.Univ.53,论文编号24,27 p.(2021;Zbl 1490.68080) 全文: 内政部
马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 \(\{\mathit{log}\}\):将公式设置为程序。 (英语) 兹比尔1490.68079 伦德。问题。的里雅斯特马特大学 53,第23号论文,24页(2021年).MSC公司:68号30 03B70号 03E20型 03E75型 68甲15 68N17号 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},Rend。问题。Trieste Mat.Univ.53,论文编号23,24 p.(2021;Zbl 1490.68079) 全文: 内政部 arXiv公司
马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 Tokeneer ID站规范的自动验证原型。 (英语) Zbl 07461267号 J.汽车。推理 65,第8期,1125-1151(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},J.奥托姆。推理65,No.8,1125--1151(2021;Zbl 07461267) 全文: 内政部 arXiv公司
马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 限制内涵集的自动推理。 (英语) Zbl 07432188号 J.汽车。推理 65,第6号,809-890(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},J.奥托姆。推理65,No.6,809--890(2021;Zbl 07432188) 全文: 内政部 arXiv公司