维姆·马滕斯;马蒂亚斯·尼沃思;蒂娜，波普 常规线索查询的三分法。 （英语） Zbl 07788992号 日志。计算方法。科学。 19，第4号，第20号论文，38页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{W.Martens}等人，《日志》。计算方法。科学。19，第4号，第20号论文，第38页（2023；Zbl 07788992） 全文： 内政部 arXiv公司
汉斯·克莱恩·勃宁;彼得·沃伊切乔夫斯基;苏布拉马尼，K。 在2CNF子句系统中寻找只读解决反驳。 （英语） Zbl 1435.03086号 西奥。计算。科学。 729, 42-56 (2018).MSC公司：20层03 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}等人，Theor。计算。科学。729，42-56（2018；Zbl 1435.03086） 全文： 内政部
汉斯·克莱恩·勃宁;彼得·沃伊切乔夫斯基;苏布拉马尼，K。 关于2CNF公式中一次读取分辨率可判定性的计算复杂性。 （英语） Zbl 1485.68110号 Gopal，T.V.（编辑）等人，计算模型的理论和应用。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10185, 362-372 (2017).MSC公司：65年第68季度 03B35型 07年3月 68兰特 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}等人，Lect。注释计算。科学。10185、362--372（2017；Zbl 1485.68110） 全文： 内政部 arXiv公司
芭芭拉·乔布斯曼;斯特凡·斯塔伯;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 发现并修复故障。 （英语） Zbl 1263.68112号 J.计算。系统。科学。 78，第2期，441-460（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：60年第68季度 91A80型 03B70号 68号30 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jobstmann}等人，J.计算。系统。科学。78，No.2，441--460（2012；Zbl 1263.68112） 全文： 内政部
保罗·利伯拉托雷 逻辑冗余。二： 2CNF和Horn命题公式。 （英语） Zbl 1182.68282号 Artif公司。智力。 172，编号2-3，265-299（2008）.MSC公司：68T27型 03B05号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Liberatore}，Artif（艺术）。智力。172，编号2--3，265--299（2008；Zbl 1182.68282） 全文： 内政部
阿努吉·达瓦尔;菲利普·加德纳;乔治·盖利 图形逻辑的表达性和复杂性。 （英语） Zbl 1114.03028号 Inf.计算。 205，第3号，263-310（2007年）.MSC公司：03B70号 第68页，共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}等人，《信息计算》。205，编号3，263-310（2007年；兹bl 1114.03028） 全文： 内政部 链接
彼得·克洛特 计算模型和函数代数（扩展抽象）。 （英语） Zbl 07776717号 Daniel Leivant（编辑），《逻辑和计算复杂性》。国际研讨会，LCC'94，美国印第安纳州印第安纳波利斯，1994年10月13日至16日。精选论文。柏林：Springer-Verlag。勒克特。注释计算。科学。960, 98-130 (1995).MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{P.Clote}，莱克特。注释计算。科学。960、98——130（1995年；Zbl 07776717） 全文： 内政部
Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 计算机科学的无限逻辑。 （英语） Zbl 1427.03049号 Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。623, 450-473 (1992).MSC公司：03C75号 03B70号 03C13号机组 第68页，共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Kolaitis}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。623450-473（1992年；Zbl 1427.03049） 全文： 内政部
Huynh，Dung T。 简单语言排序的复杂性。 （英语） 兹比尔0692.68059 数学。系统。理论 23，第1期，1-19页（1990年）.MSC公司：65年第68季度 65年第68季度 2005年第68季度 03日第10天 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit｛D.T.Huynh｝，数学。系统。理论23，第1号，1-19（1990；Zbl 0692.68059） 全文： 内政部
沃伊切赫，赖特;托马斯·西马卡 递归生成的一类图的并行算法。 （英语） 兹比尔0691.68080 信息处理。莱特。 30，第5期，225-231（1989）. 审核人：J.埃伯特 MSC公司：65年第68季度 65年第68季度 68兰特 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{W.Rytter}和\textit{T.Szymacha}，Inf.过程。莱特。30，第5号，225--231（1989；Zbl 0691.68080） 全文： 内政部
伊万·奥格（Ivan E.Auger）。;Krishnamoorthy，M.S。 一元统一问题的并行算法。 （英语） Zbl 0604.68035号 比特币 25, 302-306 (1985).MSC公司：68问题65 65年第68季度 68吨15 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.E.Auger}和\textit{M.S.Krishnamoorthy}，BIT 25，302--306（1985；Zbl 0604.68035） 全文： 内政部
哈里·刘易斯。;克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。 对称的空间边界计算。 （英语） Zbl 0491.68045号 西奥。计算。科学。 19, 161-187 (1982).MSC公司：65年第68季度 2005年第68季度 68兰特 03天 03天40 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Lewis}和\textit{C.H.Papadimitriou}，Theor。计算。科学。19、161--187（1982年；Zbl 0491.68045） 全文： 内政部