塔拉诺夫,V.A。 关于逻辑公式的渐近可判定性。 (俄语) Zbl 0538.03008号 应用数学中的组合代数方法,Interuniv。收集。,Gor'kij 1981年,118-126年(1981年)。 审核人:G.E.造币厂(列宁格勒) MSC公司:03B25号 03B10号机组 PDF格式BibTeX公司 XML格式
博克哈德·莫尼恩;埃瓦尔德·斯佩肯迈耶;奥利弗·沃恩伯格 覆盖问题的上限。 (英语) 兹比尔0508.90065 方法操作。物件。 43, 419-431 (1981).MSC公司:90立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Monien}等人,《方法操作》。第43、419--431号决议(1981年;Zbl 0508.90065)
博格丹·S·克莱布斯。 关于命题逻辑程序中可满足性的计算复杂性。 (英语) Zbl 0508.68019号 斯普拉夫。仪表信息Uniw。瓦尔兹。第99、40页(1981年)。MSC公司:68问题65 2015年3月1日 03B45号 03B60号 PDF格式BibTeX公司 XML格式
马里奥·罗德里格斯·阿塔列霍 基于分布范式的结构构造方法。 (西班牙语) Zbl 0499.03011号 Rev.R.学术版。Cienc公司。Exactas Fis公司。Nat.Madr公司。 75667-687(1981年).MSC公司:03C07号机组 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rodriguez Artalejo},Rev.R.Acad。Cienc公司。考试Fís。Nat.Madr公司。75、667--687(1981年;Zbl 0499.03011)
马丁·福勒 备选方案和决策问题的阿克曼案例。 (英语) Zbl 0474.03005号 Enseign公司。数学。,二、。Sér。 27, 137-162 (1981).MSC公司:03B25号 03日第10天 2015年3月1日 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Fuerer},恩塞恩。数学。(2) 27137--162(1981年;Zbl 0474.03005)
莫德凯·本·阿里;约瑟夫·霍尔珀(Joseph Y.Halpern)。;阿米尔·普努利 确定性命题动态逻辑的有限模型。 (英语) Zbl 0465.68011号 自动化,语言和编程,第八集团,阿克雷(阿克科)/以色列。1981年,Lect。票据计算。科学。115, 249-263 (1981).MSC公司:68问题65 03B45号 68号01 65年第68季度 PDF格式BibTeX公司 XML格式
布雷班,M。;费罗,A。;Omodeo,E.G.公司。;J.T.施瓦茨。 集合论初等子语言的决策过程。二、。包含限定量词以及序数、整数、映射和域概念的公式。 (英语) Zbl 0465.03003号 Commun公司。纯应用程序。数学。 34, 177-195 (1981).MSC公司:03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Breban}等人,Commun。纯应用程序。数学。34、177--195(1981年;Zbl 0465.03003) 全文: 内政部
理查德·施罗佩尔;阿迪·沙米尔 一类NP完全问题的(T=O(2^{n/2}),(S=O(2_{n/4}))算法。 (英语) Zbl 0462.68015号 SIAM J.计算。 10, 456-464 (1981).MSC公司:65年第68季度 68卢比99 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Schroeppel}和\textit{A.Shamir},SIAM J.Compute。10、456--464(1981年;Zbl 0462.68015) 全文: 内政部
卡尔·利伯赫。;斯派克,E。 部分满足的复杂性。 (英语) Zbl 0456.68078号 J.协会计算。机器。 28, 411-421 (1981).MSC公司:68卢比99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.J.Lieberherr}和\textit{E.Specker},J.协会计算。机器。28、411--421(1981年;Zbl 0456.68078) 全文: 内政部