佐科·维埃纳嫩 布尔值模型和广义量词。 (英语) Zbl 0484.03017号 安。数学。逻辑 18, 193-225 (1980).MSC公司:03C80号 03C85号 03C90号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{J.Vaeaenaenen},Ann.数学。逻辑18193-225(1980年;Zbl 04840.3017) 全文: 内政部
卡梅里尼,P.M。;马菲奥利,F。 加权可满足性问题及其启示。 (英语) Zbl 0466.90053号 优化技术,程序。第九届国际单项体育联合会会议,华沙,1979年,第2部分,Lect。票据控制信息科学。23, 170-175 (1980).MSC公司:90立方厘米 65年第68季度 05B35号 PDF格式BibTeX公司 XML格式
小野,Hiroakira;中村,亚基拉 关于一些线性模态逻辑和时态逻辑的反驳Kripke模型的大小。 (英语) Zbl 0466.03008号 螺柱日志。 39, 325-333 (1980).MSC公司:03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{H.Ono}和\textit{A.Nakamura},Stud.Log。39325--333(1980;Zbl 0466.03008) 全文: 内政部
马蒂·彭顿 整数的一元符号组合问题的NP-完全性。 (英语) Zbl 0462.68016号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 3, 397-400 (1980).MSC公司:65年第68季度 68兰特 68年 05A99号 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{M.Penttonen},安.社会数学。政策。,序列号。IV、 芬达姆。Inf.3,397--400(1980;Zbl 0462.68016)
费罗,A。;Omodeo,E.G.公司。;J.T.施瓦茨。 集合论的一些片段的决策过程。 (英语) 兹比尔0457.03009 自动扣除,第五届Conf.,Les Arcs/France 1980,Lect。注释计算。科学。第8788-96页(1980年)。MSC公司:03年2月25日 03B30型 PDF格式BibTeX公司 XML格式
阿尔弗雷多·费罗;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;雅各布·T·施瓦茨。 集合论初等子语言的决策过程。一: 多层次三段论和一些扩展。 (英语) Zbl 0453.03009号 Commun公司。纯应用程序。数学。 33, 599-608 (1980).MSC公司:03年2月25日 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ferro}等人,Commun。纯应用程序。数学。33、599--608(1980年;Zbl 0453.03009) 全文: 内政部
本特·阿斯普瓦尔 识别可满足性问题的伪装NR(1)实例。 (英语) Zbl 0451.68037号 J.算法 1, 97-103 (1980).MSC公司:65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Aspvall},J.算法1,97--103(1980;Zbl 0451.68037) 全文: 内政部
M.K.瓦利耶夫。 命题动态逻辑变体的决策复杂性。 (英语) Zbl 0451.03003号 计算机科学数学基础。第九交响曲。,Rydzyna/波兰。1980年,勒克特。注释计算。科学。第88656-664页(1980年)。 审核人:Hirokazu Nishimura(筑波) MSC公司:03B45号 68问题65 68号01 03年2月25日 03B60号 2015年3月1日 PDF格式BibTeX公司 XML格式 全文: 内政部
劳勒,E.L。;Lenstra,J.K。;A.H.G.林诺伊·坎。 生成所有最大独立集:NP-hardness和多项式时间算法。 (英语) Zbl 0445.68054号 SIAM J.计算。 9, 558-565 (1980).MSC公司:68年 68兰特 65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Lawler}等人,SIAM J.Compute。9558-565(1980年;Zbl 0445.68054) 全文: 内政部 链接
理查德·雷德纳(Richard E.Ladner)。 复杂性理论,强调逻辑理论的复杂性。 (英语) Zbl 0444.03018号 递归理论:它的推广和应用,Proc。英国利兹逻辑学院。1979年,伦敦。数学。Soc.Lect(社会学)。注释序列号。45, 286-319 (1980).MSC公司:2015年3月1日 65年第68季度 03年2月25日 03日第10天 03-01 03-02 PDF格式BibTeX公司 XML格式
Derek C.奥本。 理论的复杂性、凸性和组合。 (英语) Zbl 0437.03007号 西奥。计算。科学。 12, 291-302 (1980).MSC公司:03年2月25日 2015年3月1日 68问题65 68年 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{D.C.Oppen},Theor。计算。科学。12、291--302(1980;Zbl 0437.03007) 全文: 内政部
Pratt,Vaughan R。 一种近似最优的行为推理方法。 (英语) Zbl 0424.03010号 J.计算。系统。科学。 20, 231-254 (1980).MSC公司:03B45号 60年第68季度 2015年3月1日 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{V.R.Pratt},J.Comput。系统。科学。20、231--254(1980;Zbl 0424.03010) 全文: 内政部