亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 安全和协同安全语言的一阶逻辑特征。 (英语) Zbl 07731941号 日志。方法计算。科学。 19,第3号,第13号论文,29页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《日志》。方法计算。科学。19,第3号,第13号论文,29页(2023;Zbl 07731941) 全文: 内政部 arXiv公司
巴托斯·贝德纳西克;斯特凡·德姆里 为什么命题量化使树上的模态逻辑和时序逻辑变得异常困难? (英语) Zbl 07577569号 日志。方法计算。科学。 18,第3号,第5号论文,46页(2022年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}和\textit{S.Demri},日志。方法计算。科学。18,第3号,第5号论文,46页(2022;Zbl 07577569) 全文: arXiv公司 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;萨拉,彼得罗 同质性假设下子区间逻辑的可满足性和模型检验。 (英语) Zbl 07471713号 日志。方法计算。科学。 18,第1号,第24号论文,第25页(2022年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,日志。方法计算。科学。18,第1号,第24号论文,第25页(2022;Zbl 07471713) 全文: arXiv公司 链接
威廉·康雷迪;萨利赫·杜尔汗;圭多·西亚维科 线性阶上点和区间的综合一阶理论。二、。 (英语) Zbl 1528.03134号 日志。方法计算。科学。 16,第2号,第1号论文,33页(2020年).MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,日志。方法计算。科学。16,第2号,第1号论文,33页(2020;Zbl 1528.03134) 全文: arXiv公司 链接
威廉·康雷迪;萨利赫·杜尔汗;圭多·西亚维科 线性阶上点和区间的综合一阶理论。一、。 (英语) Zbl 1453.03013号 日志。方法计算。科学。 14,第2号,第15号论文,40页(2018年).MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,日志。方法计算。科学。14,第2号,第15号论文,40页(2018;Zbl 1453.03013) 全文: 内政部 arXiv公司