弗罗·拉格罗 \（ω）-可满足性和插值定理。 （意大利语） 兹伯利0666.03029 Atti degli incri di logica matematica，第3卷，锡耶纳和帕多瓦/意大利1985/86，187-197（1987）。 审核人：A.佩托罗西 MSC公司：03C40号 PDF格式BibTeX公司 XML格式
亚历山大·阿比安 方程组和模型理论。 （英语） Zbl 0655.03019号 Timișoara大学，Științe Mat。 25，第3期，第3-14页（1987年）. 审核人：I.D’Ottaviano公司 MSC公司：03C07号机组 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Abian}，An.Univ.Timișoara，Științe Mat.25，No.3，3-14（1987；Zbl 0655.03019）
理查德·斯塔特曼 关于合成有限机器复杂性的说明。 （英语） Zbl 0651.03029号 数理逻辑与理论计算机科学，Lect。Notes纯应用。数学。106, 373-378 (1987). 审核人：G.薄荷 MSC公司：05年3月 65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式
川崎岩马 CNF布尔方程的补充方法。 （英语） Zbl 0643.68079号 离散算法和复杂性，Proc。日本-美国联合塞门。，京都/日本。1986年，展望。计算。15, 223-236 (1987).MSC公司：68页第10页 65年第68季度 68T05年 68兰特 PDF格式BibTeX公司 XML格式
碧姬·杰马尔;布鲁诺·西蒙 关于Horn公式最大可满足性问题的复杂性。 （英语） Zbl 0638.03036号 信息处理。莱特。 26, 1-4 (1987). 审核人：L.州 MSC公司：2015年3月1日 68吨15 20层03 PDF格式BibTeX公司 XML格式引用 \textit{B.Jaumard}和\textit{B.Simeone}，信息处理。莱特。26，1--4（1987；Zbl 0638.03036） 全文： 内政部
Dantsin，E.Ya。 可满足性问题的算法。 （俄语） Zbl 0637.68107号 沃普。基伯恩。，莫斯科。 131, 7-29 (1987). 审核人：N.Curteanu公司 MSC公司：68吨15 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Ya.Dantsin}，沃普。基伯恩。，莫斯科。131、7--29（1987年；Zbl 0637.68107）
Miodrag卡佩塔诺维奇;阿列克桑达尔·克拉佩奇 更多关于树和有限可满足性：术语的驯服。 （英语） Zbl 0637.03007号 圣母院J.形式逻辑 28, 392-394 (1987). 审核人：C.F.基尔科夫 MSC公司：03B10号机组 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Kapetanović}和\textit{A.Krapeí}，圣母院J.形式逻辑28，392--394（1987；Zbl 0637.03007） 全文： 内政部
V·阿尔文德。;比斯瓦斯，S。 CNF中包含所有Horn语句的命题语句子集的可满足性问题的（O（n^2）算法。 （英语） 兹比尔0635.68108 信息处理。莱特。 24, 67-69 (1987). 审核人：G.卷轴-巴兰 MSC公司：68吨15 65年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit｛V.Arvind｝和\textit｛S.Biswas｝，Inf.过程。莱特。24、67-69（1987年；Zbl 0635.68108） 全文： 内政部
尤尔根·沃姆·谢特;本诺·费伦伯格 弱相关过程的一些模拟结果。 （英语） Zbl 0634.60058号 数学。计算。模拟。 29, 191-208 (1987). 审核人：J.塞夫拉内克 MSC公司：60小时99 65C99个 PDF格式BibTeX公司 XML格式引用 \textit{J.vom Scheidt}和\textit{B.Fellenberg}，数学。计算。模拟。29191--208（1987年；Zbl 0634.60058） 全文： 内政部
V·阿尔文德。;比斯瓦斯，S。 关于命题CNF公式可满足性问题的某些带宽受限版本。 （英语） Zbl 0634.03032号 软件技术和理论计算机科学基础。第七届会议，普纳/印度，1987年，Lect。注释计算。科学。287, 456-469 (1987).MSC公司：2015年3月1日 03B05号 65年第68季度 PDF格式BibTeX公司 XML格式
迈克尔·菲舍尔。;尼尔·伊梅尔曼 在命题动态逻辑中解释知识逻辑。 （英语） Zbl 0634.03012号 信息处理。莱特。 25, 175-181 (1987). 审核人：J.塞夫拉内克 MSC公司：03B45号 68N25号 68T99型 03B70号 03B25号 65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Fischer}和\textit{N.Immerman}，Inf.过程。莱特。25175-181（1987年；兹bl 0634.03012） 全文： 内政部
Cantone，D。;费罗，A。;J.T.施瓦茨。 集合论初等子语言的决策过程。广义并算子推广的多级三段论。 （英语） Zbl 0634.03008号 J.计算。系统。科学。 34, 1-18 (1987). 审核人：J.M.普洛金 MSC公司：03B25号 03E99型 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}等人，J.Compute。系统。科学。34、1-18（1987年；Zbl 0634.03008） 全文： 内政部
博帕纳，R.B。;拉加里亚斯，J.C。 单向功能和电路复杂性。 （英语） Zbl 0633.94015号 Inf.计算。 74, 226-240 (1987). 审核人：陶仁吉 MSC公司：94A60型 65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Boppana}和\textit{J.C.Lagarias}，Inf.Compute。74226--240（1987年；Zbl 0633.94015） 全文： 内政部
Paul Walton jun，普多姆。;辛西娅·布朗（Cynthia A.Brown）。 多项式平均时间可满足性问题。 （英语） Zbl 0632.68086号 信息科学。 41, 23-42 (1987). 审核人：J.亨诺 MSC公司：68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Purdom jun.}和\textit{C.A.Brown}，信息科学。41、23-42（1987年；Zbl 0632.68086） 全文： 内政部
M.I.卡诺维奇。 用于识别命题公式的可满足性和可导性的拟多项式算法。 （英语。俄文原件） Zbl 0629.03013号 苏联。数学。，多克。 34, 273-277 (1987); Dokl翻译。阿卡德。Nauk SSSR 290，281-286（1986）。 审核人：E.克努特 MSC公司：2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Kanovich}，Sov（苏联）。数学。，多克。34273--277（1987；Zbl 0629.03013）；Dokl翻译。阿卡德。诺克SSSR 290、281--286（1986）
路易斯·法利尼亚斯·德尔·塞罗;马蒂·彭顿 关于模态Horn子句可满足性的复杂性的注记。 （英语） Zbl 0624.03010号 J.逻辑程序。 4, 1-10 (1987). 审核人：H.P.施密特 MSC公司：03B35型 03B45号 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fariñas del Cerro}和\textit{M.Penttonen}，J.Log。程序。4、1-10（1987年；Zbl 0624.03010） 全文： 内政部
约翰·佛朗哥;普洛金，J.M。;约翰·W·罗森塔尔。 修正“解决可满足性问题的Davis-Putnam程序的概率分析”。 （英语） Zbl 0617.68046号 离散应用程序。数学。 17295-299（1987年）.MSC公司：65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Franco}等人，《离散应用》。数学。17、295--299（1987年；Zbl 0617.68046） 全文： 内政部
西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 Büchi自动机的互补问题及其在时序逻辑中的应用。 （英语） Zbl 0613.03015号 西奥。计算。科学。 49, 217-237 (1987).MSC公司：05年3月 03B70号 03B25号 68问题65 2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}等人，Theor。计算。科学。49、217--237（1987；Zbl 0613.03015） 全文： 内政部
迈克尔·德意志 Eine Verschärfung eines Satzes von Kostyrko zur Reduktionstehorie mit einer Anwendung auf die spektrale Darstellung von Prädikaten。 （德语） Zbl 0609.03001号 Z.数学。Logik Grundlagen数学。 33, 347-358 (1987).MSC公司：03B25号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Deutsch}，Z.数学。Logik Grundlagen数学。33、347--358（1987年；Zbl 0609.03001） 全文： 内政部
迈克尔·德意志 Eine Bemerkung zum Reduktionstyp（所有^3都存在^{infty}（0,1））。 （德语） Zbl 0608.03003号 Z.数学。Logik Grundlagen数学。 33, 179-186 (1987).MSC公司：03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Deutsch}，Z.数学。Logik Grundlagen数学。33、179--186（1987年；Zbl 0608.03003） 全文： 内政部