欧内斯特·戴维斯 区域量化的表现力。 (英语) Zbl 1116.03011号 J.日志。计算。 16,第6期,891-916(2006).MSC公司:03立方厘米30 03天80 68T27型 68立方英尺 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{E.Davis},J.Log。计算。16,第6号,891--916(2006;Zbl 1116.03011) 全文: DOI程序
毛里西奥·奥索里奥·加林多;纳瓦罗·佩雷斯,胡安·安东尼奥;JoséR.Arrazola Ramírez。;维罗尼察博尔贾·马西亚斯 具有常见弱完井的逻辑。 (英语) Zbl 1116.03022号 J.日志。计算。 16,第6期,867-890(2006); 更正同上17,第3号,607(2007)。MSC公司:03B60号 03B70型 68N17号 03B50号 03B53号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Osorio Galindo}等人,J.Log。计算。16,第6号,867--890(2006;Zbl 1116.03022) 全文: DOI程序
雷蒙德·特纳 规范中的可计算性。 (英语) Zbl 1122.68077号 J.日志。计算。 16,第6号,841-865(2006).MSC公司:60年第68季度 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{R.Turner},J.Log。计算。16,第6号,841--865(2006;Zbl 1122.68077) 全文: DOI程序
阿吉米罗·阿拉提亚;卡洛斯·奥尔蒂斯(Carlos E.Ortiz)。 逻辑的表达能力和复杂性,带有计算集合比例的量词。 (英语) Zbl 1118.03020号 J.日志。计算。 16,第6期,817-840(2006).MSC公司:03B70型 03C13号机组 19年第68季度 03C80号 2015年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Arratia}和\textit{C.E.Ortiz},J.Log。计算。16、编号6、817--840(2006;Zbl 1118.03020) 全文: DOI程序 链接
温迪·麦考尔;或者鄂尔多斯卡 类型关系逻辑及其在关系数据库中的应用。 (英语) Zbl 1118.03022号 J.日志。计算。 第6789-815号第16页(2006年).MSC公司:03B70型 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{W.MacCaull}和\textit{E.或łowska},J.Log。计算。16,第6号,789--815(2006;Zbl 1118.03022) 全文: DOI程序 链接
德克·沃尔特;卡斯滕·卢茨;弗兰克·沃尔特;迈克尔·伍尔德里奇 ATL可满足性确实是ExpTime-complete。 (英语) Zbl 1118.03010号 J.日志。计算。 16,第6期,765-787(2006).MSC公司:03B44号 2017年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Walther}等人,J.Log。计算。16,第6号,765--787(2006;Zbl 1118.03010) 全文: DOI程序 链接
托马斯·博兰德;托本·布吕纳 基于表的混合逻辑决策过程。 (英语) Zbl 1122.03006号 J.日志。计算。 第6期第16页,737-763页(2006年). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}和\textit{T.Braüner},J.Log。计算。16,第6号,737--763(2006;Zbl 1122.03006) 全文: DOI程序
丹尼尔·加恩;安德烈·波佩斯库 塔斯基初等链定理的一个与机构相关的推广。 (英语) 兹比尔1123.03058 J.日志。计算。 16,第6期,713-735(2006). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:03G30型 03B10号机组 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gaĭnĭ·}和\textit{A.Popescu},J.Log。计算。16,第6号,713--735(2006;Zbl 1123.03058) 全文: DOI程序