马可·沃伊格特 具有未解释谓词的线性有理算术的可判定\({\sexists}^*{\fall}^*\)一阶片段。 (英语) Zbl 07356976号 J.汽车。推理 65,第3期,357-423(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Voigt},J.Autom。推理65,No.3,357--423(2021;Zbl 07356976) 全文: 内政部
大卫·布雷索林;Angelo蒙塔纳里;圭多·西亚维科 右命题邻域逻辑的最优决策过程。 (英语) Zbl 1121.03027号 J.汽车。推理 38,编号1-3,173-199(2007).MSC公司:03B44号 03B25号 03B35型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,J.Autom。推理38,No.1--3,173--199(2007;Zbl 1121.03027) 全文: 内政部