雅克·勒克斯;库尔特·西伯 [瑞安·斯坦西弗（Ryan D.Stansifer）。] 程序验证的基础。在collab。与Ryan D.Stansifer合作。第2版。ii、。 （英语） Zbl 0625.68017号 Wiley-Teubner计算机科学系列。斯图加特：B.G.Teubner；奇切斯特等：John Wiley&Sons。九、 230页。；58.00德国马克（1987年）。 审核人：米勒 MSC公司：60年第68季度 68-01 05年3月 PDF格式BibTeX公司 XML格式
Guido Persch公司 Ein转换系统zur程序wicklung。 （德语） Zbl 0702.68015号 GMD-Bericht，167年。慕尼黑等：奥尔登堡-弗拉格。第123页（1987年）。 审核人：G.施密特 MSC公司：68-02 60年第68季度 68问题65 68N99型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Persch}，《Ein Transformations system zur Programmentwicklung》。München等人：奥尔登堡出版社（1987年；Zbl 0702.68015）
约翰·怀利·劳埃德 逻辑编程基础。第2版扩展版。 （英语） 兹比尔0668.68004 符号计算。柏林等：Springer-Verlag。十二、 212页。；DM 88.00（1987年）。MSC公司：68-02 68号01 68吨15 68瓦30 03B35型 03C99号 68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Lloyd}，逻辑编程基础。第二版，柏林等：Springer-Verlag（1987；Zbl 0668.68004）
彼得·舍夫 信息-eine konstruktive Einführung。LISP、PROLOG和andere Konzepte der Programmiereng。（计算机科学-建设性介绍。LISP、PROLOG和其他编程概念）。第2版。 （德语） Zbl 0667.68001号 Reihe Informatik公司, 48. 曼海姆：B.I.Wissenschaftsverlag。第405页。；48.00德国马克（1987年）。MSC公司：68-01 68号01 60年第68季度 68问题65 68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Schefe}，Informatik-eine konstruktive Einführung。LISP、PROLOG和andere Konzepte der Programmiereng。（计算机科学-建设性介绍。LISP、PROLOG和其他编程概念）。曼海姆第二版：B.I.-Wissenschaftsverlag（1987；Zbl 0667.68001）
埃文格洛斯·克拉纳基斯 近似投影模型。 （英语） Zbl 0705.68074号 数理逻辑及其应用，Proc。高级国际夏季课程。Conf.，Druzhba/Bulg.公司。1986, 273-282 (1987). 审核人：宋方敏 MSC公司：60年第68季度 68问题65 2005年第68季度 03B70号 PDF格式BibTeX公司 XML格式
Neponiaschij，V.A。;新墨西哥州希洛夫。 非确定性程序模式及其与动态逻辑的关系。 （英语） Zbl 0704.03011号 数理逻辑及其应用，Proc。高级国际暑期课程。Conf.，Druzhba/Bulg.公司。1986, 137-147 (1987). 审核人：卢布什布里姆（布尔诺） MSC公司：03B70号 2010年第68季度 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式
鲍里斯·特拉赫滕布罗特（Boris A.Trakhtenbrot）。 关于程序语义中的“逻辑关系”。 （英语） Zbl 0699.03014号 数理逻辑及其应用，Proc。高级国际夏季课程。Conf.，Druzhba/Bulg.公司。1986, 213-229 (1987).MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式
Goncharov，S.S。;D.I.斯维里登科。 \（\Sigma^+\）-程序及其语义。 （俄语） Zbl 0696.03014号 维奇尔。修女。 120, 24-51 (1987). 审核人：N.两者 MSC公司：03B70号 60年第68季度 05年3月 03B35型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}和\textit{D.I.Sviridenko}，Vychils。西斯特。120、24-51（1987年；Zbl 0696.03014）
陈振鹏;齐、汇泉 程序的优化设计方法。 （中文。英文摘要） Zbl 0684.68028号 清华大学理工学院。Technol公司。 27，第4期，104-111（1987）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}和\textit{H.Qi}，清华大学科学院。Technol公司。27，No.4，104--111（1987；Zbl 0684.68028）
霍华德·巴林杰 时序逻辑在并发系统的组合规范中的使用。 （英语） Zbl 0683.68011号 时间逻辑及其应用，53-90（1987）。 审核人：N.Curteanu公司 MSC公司：60年第68季度 68号01 68N25号 68问题55 03B60号 PDF格式BibTeX公司 XML格式
安东尼·高尔顿 时间逻辑与计算机科学：综述。 （英语） Zbl 0683.68006号 时间逻辑及其应用，1-52（1987）。 审核人：N.Curteanu公司 MSC公司：68-02 68T99型 60年第68季度 PDF格式BibTeX公司 XML格式
安东尼·高尔顿（编辑） 时间逻辑及其应用。 （英语） Zbl 0683.68003号 伦敦等：学术出版社，第十二版，244页（1987年）。MSC公司：68-06 00亿Bxx 68T99型 68问题55 68N25号 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式
K.A.祖博维奇。;Meleshko，A.N。 函数编程系统中程序正确性的自动证明。 （俄语） Zbl 0679.68030号 维斯特。白俄罗斯。戈斯。进出口大学。V.I.Lenina，塞尔维亚。我 1987年，第1期，31-34（1987）. 审核人：N.Curteanu公司 MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Zubovich}和\textit{A.N.Meleshko}，Vestn。白俄罗斯。戈斯。进出口大学。V.I.Lenina，爵士。I 1987，编号1，31-34（1987；Zbl 0679.68030）
索洛夫·埃夫（V.D.Solov'ev）。 并行和非确定性程序方案的通用类。 （俄语） Zbl 0679.68027号 维奇尔。修女。 122, 133-144 (1987).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.D.Solov'ev}，Vychils。西斯特。122、133--144（1987年；Zbl 0679.68027）
O.A.伊莱切娃。 带负数的拟恒等式的常数模型。 （俄语） Zbl 0679.03005号 维奇尔。修女。 120, 52-63 (1987). 审核人：于。文特索夫 MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{O.A.Il’icheva}，Vychils。西斯特。120、52-63（1987年；Zbl 0679.03005）
伊贡博格尔 逻辑程序类的逻辑和计算复杂性。 （英语） Zbl 0674.03003号 伦德。塞明。法西斯加州都灵马特。规范，153-163（1987）。MSC公司：03B35型 65年第68季度 2015年3月1日 68吨15 60年第68季度 PDF格式BibTeX公司 XML格式
Cázánescu，V.E。;格拉玛，Ş。 关于M流程图的定义。 （英语） Zbl 0668.68015号 安提恩。Al.I.Cuza IașI大学，N.Ser。，第ț节。国际航空公司 33，第4期，311-321（1987）. 审核人：H.施梅克 MSC公司：60年第68季度 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.E.CȘzțnescu}和\textit{ö.Grama}，安提因。Al.I.Cuza IașI大学，N.Ser。，第ț节。Ia 33，编号4，311--321（1987；Zbl 0668.68015）
迈克尔·梅因（Michael G.Main）。 powerdomain底漆。 （英语） Zbl 0667.68039号 牛市。EATCS公司 3315-147（1987年）. 审核人：G.乔巴努 MSC公司：68问题65 60年第68季度 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Main}，公牛。EATCS 33、115--147（1987；Zbl 0667.68039）
大卫·本森。 并发和交织同样重要。 （英语） Zbl 0667.68021号 牛市。EATCS公司 33, 54-55 (1987). 审核人：G.乔巴努 MSC公司：60年第68季度 68问题65 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Benson}，公牛。EATCS 33，54-55（1987；Zbl 0667.68021）
马里奥·科普 编程语言中的类型和多态性。 （意大利语） Zbl 0666.68009号 Atti degli incri di logica matematica，第3卷，锡耶纳和帕多瓦/意大利1985/86，233-281（1987）。 审核人：A.佩特罗西 MSC公司：68号01 60年第68季度 35楼03号 PDF格式BibTeX公司 XML格式
Rydeheard博士。;J.G.斯特尔。 方程式演绎的基础：方程式证明和统一算法的分类处理。 （英语） Zbl 0664.03041号 范畴理论与计算机科学，Proc。Conf.，爱丁堡/英国，1987年，Lect。注释计算。科学。283, 114-139 (1987). 审核人：P.T.约翰斯通 MSC公司：03G30型 60年第68季度 18立方厘米 68问题65 18D05日 PDF格式BibTeX公司 XML格式
洛马佐瓦，I.A。 对于不允许副作用的程序，存在完整的公理语义的问题。 （英语。俄文原件） 兹比尔0663.68018 美国S.R.计算。数学。数学。物理学。 27，第5期，206-209（1987）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。27，第10期，1585-1589（1987）。MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Lomazova}，U.S.S.R.计算。数学。数学。物理学。27，No.5，206--209（1987；Zbl 0663.68018）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。27，第10号，1585-1589（1987） 全文： DOI程序
拉兹洛·齐尔马兹 非确定性程序的强语义特征。 （英语） Zbl 0663.68017号 Z.数学。Logik Grundlagen数学。 33, 407-416 (1987). 审核人：J.-J.Ch.梅耶 MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Csirmaz}，Z.数学。Logik Grundlagen数学。33407--416（1987年；Zbl 0663.68017） 全文： DOI程序
亚历山大·拉比诺维奇 Pomset语义与数据流语义一致。 （英语） 兹比尔0663.68015 牛市。EATCS公司 32, 107-117 (1987). 审核人：J.-J.Ch.梅耶 MSC公司：60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，公牛。EATCS 32107-117（1987年；Zbl 0663.68015）
安东尼·高尔顿 时间逻辑与计算机科学：概述。 （英语） Zbl 0662.03015号 时间逻辑及其应用，1-52（1987）。 审核人：圣戈特瓦尔德 MSC公司：03B70号 68号01 03B45号 03-01 68-01 PDF格式BibTeX公司 XML格式
卢汝谦 动态结构程序的代数语义。 （英语） Zbl 0659.68024号 科学。罪。，序列号。A类 30，第1期，32-44（1987）. 审核人：R.霍斯 MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lu}，科学。罪。，序列号。A 30，32--44（1987；Zbl 0659.68024）
谢特林，G.E。;尤先科，E.L。 结构化并行编程的理论和应用方面。 （英语。俄文原件） Zbl 0658.68020号 控制论 23，第5期，614-627（1987）; 译自Kibernetika 1987，第5期，38-48（1987）。 审核人：G.E.Tsejtlin先生 MSC公司：60年第68季度 68N25号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Tsejtlin}和\textit{E.L.Yushchenko}，控制论23，第5期，614--627（1987；Zbl 0658.68020）；译自Kibernetika 1987，No.5，38-48（1987） 全文： DOI程序
勘误表。 （英语） Zbl 0657.68024号 程序。计算。软件 13，No.5，234（1987）.MSC公司：68问题65 60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 程序。计算。柔和。13、5号、234（1987；Zbl 0657.68024）
加布里埃尔·乔巴努 通过互斥实现并发的代数方法。 （英语） Zbl 0657.68017号 安提恩。Al.I.Cuza IașI大学，N.Ser。，第ț节。国际航空公司 33，第4期，348-356（1987）. 审核人：B.Wojdyło MSC公司：60年第68季度 68问题65 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}，安提恩。Al.I.Cuza IașI大学，N.Ser。，第ț节。Ia 33，No.4，348--356（1987；Zbl 0657.68017）
拉兹洛·瓦尔加 具有正确性证明的抽象数据类型的实现。 （英语） Zbl 0657.68016号 安理大学。布达普。罗兰多·Eötvös，Sect。计算。 8, 109-117 (1987).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Varga}，安理工大学。布达普。罗兰多·Eötvös，Sect。计算。8109-117（1987年；兹bl 0657.68016）
新南威尔士州尼基琴科。 通过匹配组合对程序进行语义合成。 （英语。俄文原件） Zbl 0657.68015号 程序。计算。软件 13，第6期，243-253（1987）; 译自Programmirovanie 1987，No.6，14-27（1987）。MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Nikitchenko}，程序。计算。柔和。13、编号6、243--253（1987；Zbl 0657.68015）；译自Programmirovanie 1987，No.6，14-27（1987）
波德洛夫琴科，R.I。 程序交换s模型中的等价问题。 （英语。俄文原件） Zbl 0657.68014号 程序。计算。软件 201-209年第5期13号（1987年）; 译自Programmirovanie 1987，No.5，6-17（1987）。MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Podlovchenko}，程序。计算。柔和。13，No.5，201--209（1987；Zbl 0657.68014）；译自Programmirovanie 1987，No.5，6--17（1987）
北卡罗来纳州米伦科夫。;西蒙诺夫，S.A。 用于分析具有独立交互语句的并行程序中的唯一性和非死锁的算法。 （英语。俄文原件） Zbl 0657.68010号 程序。计算。软件 13，No.5，209-217（1987）; 译自Programmirovanie 1987，第5期，18-30（1987）。MSC公司：60年第68季度 65年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Mirenkov}和\textit{S.A.Simonov}，程序。计算。柔和。13，No.5，209--217（1987；Zbl 0657.68010）；译自Programmirovanie 1987，No.5，18-30（1987）
斯科德夫，D.G。 关于循环循环检测的一个极值问题。 （英语） Zbl 0657.68009号 C.R.学院。膨胀。科学。 40，第10号，5-8（1987）. 审核人：D.G.斯科德夫 MSC公司：68号01 2005年第68季度 11层37 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Skordev}，C.R.学院。膨胀。科学。40，第10号，第5--8号（1987；Zbl 0657.68009）
梅森，K.P。 动态模板转换器-一种用于指定编程语言的新设备。 （英语） Zbl 0656.68089号 国际期刊计算。数学。 22，第3-4号，199-212（1987）.MSC公司：65年第68季度 60年第68季度 68问题55 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Mason}，国际计算机杂志。数学。22，No.3--4，199--212（1987；Zbl 0656.68089） 全文： DOI程序
卡罗来纳州佩西恩西亚·萨拉斯市麦克卢斯基 PL/0的属性翻译语法。 （英语） Zbl 0656.68027号 国际期刊计算。数学。 21，编号3-4，205-227（1987）.MSC公司：60年第68季度 68问题55 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{C.P.S.McCluskey}，国际计算机杂志。数学。21，编号3-4205-227（1987年；Zbl 0656.68027） 全文： DOI程序
朱利亚诺·帕西尼;佛朗哥·都灵 生产系统的语义。 （英语） Zbl 0656.68025号 Inf.计算。 7387-101（1987年）.MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Pacini}和\textit{F.Turini}，Inf.Comput。73、87--101（1987；Zbl 0656.68025） 全文： DOI程序
Buj，D.B。;I.V.雷德科。 可计算函数的原程序代数。 （英语。俄文原件） Zbl 0655.68052号 控制论 23，第3期，368-377（1987）; 译自Kibernetika 1987，第3期，68-74（1987）。MSC公司：03D60年 60年第68季度 20日03时 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Buj}和\textit{I.V.Red'ko}，控制论23，第3期，368--377（1987；Zbl 0655.68052）；译自Kibernetika 1987年，第3期，68--74（1987） 全文： DOI程序
Nepomnyashchij，V.A。;沃罗布耶夫，S.G。;A.A.苏里莫夫。 面向问题的程序验证系统“SPEKTR”。 （英语。俄文原件） Zbl 0655.68019号 控制论 第6期第23页，757-765页（1987年）; 译自Kibernetika 1987，第6期，31-37（1987）。 审核人：米勒 MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}等人，《控制论》第23卷，第6期，第757--765页（1987年；Zbl 0655.68019）；翻译自Kibernetika 1987，第6期，第31-37期（1987年） 全文： DOI程序
肯尼斯·库恩 逻辑编程中的否定。 （英语） Zbl 0655.68018号 J.逻辑程序。 4, 289-308 (1987). 审核人：G.薄荷 MSC公司：60年第68季度 68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Kunen}，J.Log。程序。4289--308（1987年；Zbl 0655.68018） 全文： DOI程序
伊特金，V.呃。 程序叠加的并行性。 （英语。俄文原件） Zbl 0655.68016号 苏联。物理。，多克。 32，第12期，948-949（1987）; Dokl翻译。阿卡德。Nauk SSSR 297，No.4，808-811（1987）。MSC公司：68号01 60年第68季度 68问题65 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{V.Eh.Itkin}，Sov（苏联）。物理。，多克。32，第12号，948--949（1987；Zbl 0655.68016）；Dokl翻译。阿卡德。Nauk SSSR 297，No.4，808--811（1987）
艾伦·H·梅克尔。;伊夫林·尼尔森（Evelyn M.Nelson）。 if-then-else的等式基础。 （英语） 兹比尔0654.68029 SIAM J.计算。 16, 465-485 (1987).MSC公司：68问题65 08B05号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Mekler}和\textit{E.M.Nelson}，SIAM J.Compute。16、465--485（1987年；Zbl 0654.68029） 全文： DOI程序
洛马佐瓦，I.A。 关于不承认副作用的完整公理程序语义的存在性问题。 （俄语） Zbl 0654.68020号 Zh公司。维奇尔。Mat.Mat.Fiz公司。 27，第10期，1585-1589（1987）. 审核人：G.E.Tseytlin（谢特林） MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Lomazova}，Zh。维奇尔。Mat.Mat.Fiz公司。27，第10号，1585--1589（1987；Zbl 0654.68020）
Edsger W.Dijkstra。 方程的极值解。 （英语） Zbl 0654.68019号 程序设计逻辑和离散设计计算。北约高级研究所，Marktoberdorf/FRG 1986，NATO ASI Ser。，序列号。F 36，243-260（1987年）。 审核人：戴克斯特拉 MSC公司：60年第68季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式
克里斯蒂安·阿特米 Knater-Tarski不动点定理不是一致构造的。 （英语） Zbl 0654.03047号 国际期刊计算。数学。 23，第1期，25-28（1987）.MSC公司：03层60 03D60年 60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{C.Artemi}，国际计算机杂志。数学。23，编号1，25-28（1987年；Zbl 0654.03047） 全文： DOI程序
克里斯蒂娜·瑟纳达斯;卡拉普萨，R。 概念建模抽象在编译器开发中的作用。 （英语） Zbl 0653.68081号 计算。J。 30, 328-336 (1987).MSC公司：68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}和\textit{R.Carapuça}，计算。J.30，328--336（1987；Zbl 0653.68081） 全文： DOI程序
艾默生·E·艾伦 一致的必然性是树自动机不可言喻的。 （英语） Zbl 0653.68079号 信息处理。莱特。 24, 77-79 (1987).MSC公司：65年第68季度 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}，Inf.过程。莱特。24、77——79（1987年；Zbl 0653.68079） 全文： DOI程序
洪，D.V。;科努特，E。 用于通信顺序进程的非交互语义：定点方法。 （英语） Zbl 0651.68026号 《网络学报》。 8，第3期，293-311（1987）. 审核人：E.克努思 MSC公司：68N25号 68问题85 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Hung}和\textit{E.Knuth}，网络学报。8，第3号，293--311（1987；Zbl 0651.68026）
D.格里斯。;普林斯，J.F。 迈凯轮的杰作。 （英语） Zbl 0649.68031号 科学。计算。程序。 8, 139-145 (1987). 审核人：H.埃德尔斯布伦纳 MSC公司：68瓦99 60年第68季度 68卢比99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gries}和\textit{J.F.Prins}，科学。计算。程序。8139——145（1987年；Zbl 0649.68031） 全文： DOI程序
维克多·J·米泽尔。 确定性和随机优化问题中的Lavrentiev现象。 （英语） Zbl 0648.49002号 变分法中的积分泛函。国际研讨会，的里雅斯特/意大利，1985年，补遗。循环。马特·巴勒莫，II。序列号。15, 111-130 (1987). 审核人：P.洛文 MSC公司：49J05型 49J30型 49J55型 26甲16 26A46号 49升99 93E20型 PDF格式BibTeX公司 XML格式
尼西姆·弗朗西兹;Shmuel Katz 公平性和控制谓词公理。 （英语） Zbl 0647.68014号 国际J并行程序。 16，第4期，263-278（1987）.MSC公司：60年第68季度 68问题65 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}和\textit{S.Katz}，国际J.并行程序。16，第4号，263--278（1987；Zbl 0647.68014） 全文： DOI程序
乌苏拉·马丁 多集排序的扩展功能。 （英语） Zbl 0647.06005号 信息处理。莱特。 26, 181-186 (1987).MSC公司：06A99号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Martin}，Inf.流程。莱特。181-266（1987年；兹bl 0647.06005） 全文： DOI程序
安德烈亚斯·布拉斯;尤里·古里维奇 存在定点逻辑。 （英语） Zbl 0647.03018号 计算理论与逻辑，D.Rödding Occas。第50年安尼夫。出生，莱克特。注释计算。科学。270，20-36（1987年）。 审核人：J.-J.Ch.梅耶 MSC公司：03B70号 60年第68季度 68问题65 65年第68季度 03年11月15日 PDF格式BibTeX公司 XML格式
埃里克·奥杜罗;路易斯·法利尼亚斯·德尔·塞罗;帕特里斯·恩贾尔伯特 程序设计与逻辑时间。I.：算法验证。 （法语） Zbl 0647.03017号 技术科学。信息。 6, 527-540 (1987). 审核人：N.Curteanu公司 MSC公司：03B70号 60年第68季度 68号01 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{埃里·奥杜罗}等人，科技。通知。6527-540（1987；Zbl 0647.03017）
迈克尔·梅因（Michael G.Main）。 通信过程的跟踪、故障和测试等效项。 （英语） Zbl 0646.68033号 国际J并行程序。 16，第5期，383-400（1987）.MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Main}，国际J并行程序。16，第5号，383--400（1987；Zbl 0646.68033） 全文： DOI程序
格拉夫，苏珊娜;约瑟夫·西法基斯 具有静默操作的常规流程的就绪语义。 （英语） Zbl 0646.68019号 自动化、语言和编程、Proc。第14国际学院，卡尔斯鲁厄/FRG 1987，Lect。注释计算。科学。267, 115-125 (1987). 审核人：R.霍斯 MSC公司：68N25号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式
雷德科，V.N。;新南威尔士州尼基琴科。 程序设计的组成方面。一、。 （英语。俄文原件） Zbl 0646.68015号 控制论 23，第5期，627-637（1987）; 译自Kibernetika 1987，第5期，49-56（1987）。MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Red'ko}和\textit{N.S.Nikitchenko}，《控制论》23，第5期，627--637（1987；Zbl 0646.68015）；译自Kibernetika 1987，No.5，49-56（1987） 全文： DOI程序
都铎州巴勒内斯库;玛丽安·盖奥吉 程序跟踪和操作语言。 （英语） Zbl 0646.68014号 修订版Roum。语言学家。32，第2期，167-170（1987）。MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式
比约纳，D。（编辑）;C.B.琼斯。（编辑）;Mac an Airchinnigh，M。（编辑）;E.J.纽霍德。（编辑） 87年VDM。VDM——一种正式的工作方法。1987年VDM欧洲研讨会，比利时布鲁塞尔，1987年3月23日至26日。诉讼程序。 （英语） 兹比尔0646.68006 计算机科学课堂讲稿, 252. 柏林等：Springer-Verlag。九、 第422页。；55.00马克（1987年）。 审核人：B.齐默尔曼 MSC公司：68-06 68号01 60年第68季度 00时25分 PDF格式BibTeX公司 XML格式
奥克·维克斯特罗姆 使用标准ML进行功能编程。 （英语） Zbl 0646.68001号 Prentice-Hall国际计算机科学系列。伦敦等地：普伦蒂斯·霍尔。十七、 第446页（1987年）。 审核人：B.齐默尔曼 MSC公司：68-01 68号01 60年第68季度 PDF格式BibTeX公司 XML格式
斯拉瓦·梅斯基 条件代数的同余。 （英语） Zbl 0646.08005号 牛市。第节。逻辑，波尔。阿卡德。科学。 16, 111-117 (1987). 审核人：S.Meskhi公司 MSC公司：08年10月 03G25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Meskhi}，公牛。第节。逻辑，波尔。阿卡德。科学。16、111-117（1987年；Zbl 0646.08005）
诺格拉，S。;Vajtsekauskas，R。 变量约束语义解析。 （俄语。英文摘要） Zbl 0645.68105号 Mat.Logika底漆。 5, 48-53 (1987).MSC公司：68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Norgela｝和\textit｛R.Vajtsekauskas｝，材料：Logika Primen。5、48-53（1987年；Zbl 0645.68105）
Jieh乡;斯利瓦斯，曼达扬 用Prolog自动证明归纳定理。 （英语） Zbl 0645.68095号 西奥。计算。科学。 54, 3-28 (1987). 审核人：A.哲哲伦 MSC公司：68吨15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hsiang}和\textit{M.Srivas}，Theor。计算。科学。54、3--28（1987年；Zbl 0645.68095） 全文： DOI程序 链接
福尔克，V.N。 高级编程语言的理论模型。 （英语。俄文原件） Zbl 0645.68042号 程序。计算。软件 13，第4期，139-146（1987）; 译自Programmirovanie 1987，No.4，3-12（1987）。MSC公司：68问题65 60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Fal'k}，程序。计算。柔和。13，No.4，139--146（1987；Zbl 0645.68042）；翻译自Programmirovanie 1987，No.4，3-12（1987）
A.P.巴班。 块并行结构化程序方法的复杂性。 （英语。俄文原件） Zbl 0645.68035号 程序。计算。软件 13，第3期，101-107（1987）; 译自Programmirovanie 1987，第3期，23-31（1987）。MSC公司：68N25号 68号01 60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Barban}，程序。计算。柔和。13，No.3，101--107（1987；Zbl 0645.68035）；译自Programmirovanie 1987，No.3，23-31（1987）
Urtans公司。 程序路径功能。 （英语。俄文原件） Zbl 0645.68031号 程序。计算。软件 第13期，第4期，177-184（1987）; 译自Programmirovanie 1987，No.4，69-78（1987）。MSC公司：68磅05分 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.B.Urtans}，程序。计算。柔和。13，No.4，177--184（1987；Zbl 0645.68031）；译自Programmirovanie 1987，No.4，69-78（1987）
迪科夫斯基，A.Ya。 程序方案综合的模型、方法和条件。 （俄语） Zbl 0645.68022号 沃普。基伯恩。，莫斯科。 131, 117-149 (1987). 审核人：N.A.Huhro公司 MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Ya.Dikovskij}，Vopr。基伯恩。，莫斯科。131117--149（1987年；Zbl 0645.68022）
沙里普巴耶夫，A。 Refal语言语义的形式化。 （英语。俄文原件） Zbl 0645.68020号 程序。计算。软件 13，第3期，108-115（1987）; 译自Programmirovanie 1987，第3期，32-41（1987）。MSC公司：60年第68季度 68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Sharipbaev}，程序。计算。柔和。13，No.3，108--115（1987；Zbl 0645.68020）；译自Programmirovanie 1987，No.3，32-41（1987）
Sabel'feld，V.K。;L.V.切尔诺布罗德。 一种分析程序属性的方法。 （英语。俄文原件） 兹比尔0645.68019 程序。计算。软件 13，第4期，154-165（1987）; 译自Programmirovanie 1987，第4期，21-34（1987）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Sabel’felfd}和\textit{L.V.Chernobrod}，程序。计算。柔和。13，No.4，154--165（1987；Zbl 0645.68019）；译自Programmirovanie 1987，No.4，21-34（1987）
Jebelean，T。 关于编译的语义。 （英语） Zbl 0645.68017号 Timișoara大学，Științe Mat。 25，第3号，49-68（1987）.MSC公司：60年第68季度 68问题55 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Jebelean}，An.Univ.Timișoara，Științe Mat.25，No.3，49--68（1987；Zbl 0645.68017）
奥斯特罗夫斯基，B.N。 管理和使用混合计算来系统构建面向语言的解析器。 （英语。俄文原件） Zbl 0645.68016号 程序。计算。软件 13，No.2，66-74（1987）; 翻译自Programmirovanie 1987，第2期，56-67（1987）。MSC公司：60年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{B.N.Ostrovskij}，程序。计算。柔和。13，No.2，66--74（1987；Zbl 0645.68016）；译自Programmirovanie 1987，No.2，56--67（1987）
尤加诺娃，T.I。 Incol混合计算的正确性。 （英语。俄文原件） Zbl 0645.68015号 程序。计算。软件 13，第2期，74-82（1987）; 译自Programmirovanie 1987，No.2，67-77（1987）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.I.Yuganova}，程序。计算。柔和。13，No.2，74--82（1987；Zbl 0645.68015）；译自Programmirovanie 1987，No.2，67--77（1987）
Krintskij，N.A.公司。 混合计算的算法分析。 （英语。俄文原件） Zbl 0645.68014号 程序。计算。软件 13，第3期，116-127（1987）; 译自Programmirovanie 1987，第3期，42-56（1987）。MSC公司：60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Krinitskij}，程序。计算。柔和。13，No.3，116--127（1987；Zbl 0645.68014）；译自Programmirovanie 1987，No.3，42-56（1987）
戈尔斯基，L.K。;Karpovskij，E.Ya。;诺维科夫，V.I。;Chizhov，S.A.公司。 支持阶段的软件可靠性评估。 （英语。俄文原件） Zbl 0645.68013号 程序。计算。软件 第2期第13期，第83-87页（1987年）; 译自Programmirovanie 1987，No.2，85-91（1987）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{L.K.Gorskij}等人，程序。计算。柔和。13，No.2，83--87（1987；Zbl 0645.68013）；翻译自Programmirovanie 1987，No.2，85-91（1987）
瓦塔佐夫，S.R。 全局严格保持与平稳平行替换系统的关系。 （俄语） Zbl 0645.68012号 道克。，阿卡德。恶心的手臂。固态继电器 85，第1期，26-29（1987）. 审核人：G.E.Tsejtlin先生 MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Vartachov}，道克。，阿卡德。恶心的手臂。SSR 85，No.1，26--29（1987；Zbl 0645.68012）
Igarashi、Shigeru;Tetsuya Mizutani;高石筑次 分析语义中的并行程序过程规范。 （英语） Zbl 0645.03023号 坦索尔，新爵士。 45, 240-244 (1987).MSC公司：03B70号 60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Igarashi}等人，Tensor，New Ser。45240-244（1987年；Zbl 0645.03023）
Igarashi、Shigeru;Tetsuya Mizutani;高石筑次 由\（nu\）-转换表示的并行程序过程的分析语义。 （英语） Zbl 0645.03022号 坦索尔，新爵士。 45, 222-228 (1987).MSC公司：03B70号 60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Igarashi}等人，Tensor，New Ser。45、222--228（1987年；Zbl 0645.03022）
大卫·佩勒 并发动态逻辑。 （英语） Zbl 0645.03021号 J.协会计算。马赫。 34, 450-479 (1987). 审核人：L.布里姆 MSC公司：03B70号 03B45号 60年第68季度 68问题65 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Peleg}，J.协会计算。马赫。34450-479（1987年；Zbl 0645.03021） 全文： DOI程序
安德烈·萨拉斯 线性时间的一阶时序逻辑的完整公理化表征。 （英语） Zbl 0645.03020号 西奥。计算。科学。 54, 199-214 (1987). 审核人：C.马萨拉吉 MSC公司：03B70号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Szalas}，Theor。计算。科学。54、199--214（1987；Zbl 0645.03020） 全文： DOI程序
米切尔·旺德 类型推理的简单算法和证明。 （英语） Zbl 0645.03014号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 10, 115-121 (1987). 审核人：C.马萨拉吉 MSC公司：03B40型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wand}，安.社会数学。政策。，序列号。四、 芬丹。Inf.10，115-121（1987；Zbl 0645.03014）
A.M.皮特斯。 多态性是理论上的、建设性的集合。 （英语） Zbl 0644.18003号 范畴理论与计算机科学，Proc。会议，爱丁堡/英国，1987年，勒克特。注释计算。科学。283, 12-39 (1987). 审核人：M.Eytan先生 MSC公司：18对25 03B40型 60年第68季度 03G30型 99年第68季度 PDF格式BibTeX公司 XML格式
吕迪格·瓦尔克 行动的外延和内涵。 （英语） Zbl 0643.68076号 并发和网络。Petri网进展，571-584（1987）。 审核人：R.Valk公司 MSC公司：68问题85 2005年第68季度 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式
岩手，志贵;Takumi Kasai 同时（多时间、日志空间）下限。 （英语） Zbl 0643.68067号 西奥。计算。科学。 54, 325-329 (1987).MSC公司：2005年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Iwata}和\textit{T.Kasai}，Theor。计算。科学。54、325--329（1987年；Zbl 0643.68067） 全文： DOI程序
岩手，志贵;Takumi Kasai 带有固定数量变量的简单程序似乎仍然很难分析。 （英语） Zbl 0643.68066号 离散算法和复杂性，Proc。日本-美国联合塞门。，京都/日本。1986年，展望。计算。15, 405-416 (1987).MSC公司：2005年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
西蒙·卡普兰（Simon M.Kaplan）。;史蒂文·戈林（Steven K.Goering）。;罗伊·H·坎贝尔。 使用属性化NLC图文法支持软件开发过程。 （英语） 兹比尔0643.68030 图文法及其在计算机科学中的应用，第三届国际研讨会，沃伦顿/弗吉尼亚州，1986年，莱克托。注释计算。科学。291, 309-325 (1987).MSC公司：68N99型 60年第68季度 68问题55 68兰特 PDF格式BibTeX公司 XML格式
拉米·梅尔赫姆 一类自定时计算网络的验证。 （英语） Zbl 0643.68019号 比特币 27, 480-500 (1987).MSC公司：68N25号 68N99型 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{R.Melhem}，BIT 27，480--500（1987；Zbl 0643.68019） 全文： DOI程序
沃伊切赫·科瓦尔奇克;巴维尔·乌尔兹琴 用高阶数组验证程序。 （英语） Zbl 0643.68011号 计算理论基础。国际会议，喀山/苏联1987年，法律。注释计算。科学。278, 251-258 (1987).MSC公司：60年第68季度 68磅05分 PDF格式BibTeX公司 XML格式
M.Yu Moshkov。 关于有限开发的程序。 （英语） Zbl 0643.68010号 计算理论基础，Proc。国际会议，喀山/苏联1987年，法律。注释计算。科学。278, 323-327 (1987).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
弗雷德·克罗格 抽象模块：结合代数和时序逻辑规范方法。 （英语） Zbl 0643.68009号 技术科学。信息。 6, 559-573 (1987). 审核人：L.布里姆 MSC公司：60年第68季度 68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Kröger}，科技。通知。6559-573（1987年；兹bl 0643.68009）
可口、蒂埃里;托马斯·埃尔哈德 高阶逻辑的一种等价表示。 （英语） Zbl 0643.03050号 范畴理论与计算机科学，Proc。Conf.，爱丁堡/英国，1987年，Lect。注释计算。科学。283, 40-56 (1987). 审核人：M.Eytan先生 MSC公司：03G30型 35楼03号 60年第68季度 18天30分 03B40型 PDF格式BibTeX公司 XML格式
马提亚斯·费莱森;丹尼尔·弗里德曼。;尤金·科尔贝克;布鲁斯·杜巴 顺序控制的句法理论。 （英语） Zbl 0643.03011号 西奥。计算。科学。 52, 205-237 (1987). 审核人：J.兹拉图斯卡 MSC公司：03B40型 68号01 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Felleisen}等人，Theor。计算。科学。52、205--237（1987；Zbl 0643.03011） 全文： DOI程序
Tatsuya Hagino 具有范畴类型构造函数的类型化lambda演算。 （英语） Zbl 0643.03010号 范畴理论与计算机科学，Proc。Conf.，爱丁堡/英国，1987年，Lect。注释计算。科学。283, 140-157 (1987). 审核人：M.Eytan先生 MSC公司：03B40型 03G30型 60年第68季度 18个C99 PDF格式BibTeX公司 XML格式
于尔肖夫（Yu Ershov）。L。;Goncharov，S.S。;D.I.斯维里登科。 编程的语义基础。 （英语） Zbl 0642.68029号 计算理论基础。国际会议，喀山/苏联1987年，法律。注释计算。科学。第278116-122页（1987）。MSC公司：68问题65 68号01 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式
A.三亚。;比斯瓦斯，S。;V.M.马尔霍特拉。 最弱前提形式主义扩展到低级语言。 （英语） 兹比尔0642.68026 软件技术和理论计算机科学基础。第七届会议，普纳/印度，1987年，Lect。注释计算。科学。287, 485-499 (1987).MSC公司：60年第68季度 68问题55 68N20型 PDF格式BibTeX公司 XML格式
卡尔·R·亚伯拉罕森。 使用goto和布尔变量简洁地表示正则集。 （英语） Zbl 0642.68025号 J.计算。系统。科学。 34, 129-148 (1987).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Abrahamson}，J.计算机。系统。科学。34、129--148（1987年；Zbl 0642.68025） 全文： DOI程序
福斯卡·吉安诺蒂;阿提利奥·马特尤奇;佩德雷希·迪诺;佛朗哥·都灵 结构递归符号常量的符号计算。 （英语） 兹比尔0642.68024 科学。计算。程序。 9, 161-177 (1987).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Giannotti}等人，科学。计算。程序。9、161--177（1987年；Zbl 0642.68024） 全文： DOI程序
伊利·帕普恰 HAS层次结构和编程语言的可扩展性。 （英语） Zbl 0642.68022号 Babeș-Bolyai大学数学研究生。 32，第3期，第3-14页（1987年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Parpucea}，Stud.Univ.Babeș-Bolyai，数学。32，第3号，第3-14号（1987；Zbl 0642.68022）
Buj，D.B。;I.V.雷德科。 向量、矩阵、关系参数和值函数的原程序代数。 （俄语。英文摘要） Zbl 0642.68021号 多克。阿卡德。诺克乌克。SSR，序列号。A类 1987年，第7期，第3-5期（1987年）.MSC公司：60年第68季度 20日03时 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Buj}和\textit{I.V.Red'ko}，Dokl。阿卡德。诺克乌克。SSR，序列号。A 1987，第7、3--5号（1987；Zbl 0642.68021）
⑩tefnescu，Gh。 关于流程图理论。二： 不确定性情况。 （英语） Zbl 0642.68020号 西奥。计算。科学。 52, 307-340 (1987). 审核人：S.布鲁姆 MSC公司：60年第68季度 18立方厘米 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Gh.ötefnescu}，Theor（提奥）。计算。科学。52307-340（1987年；兹bl 0642.68020） 全文： DOI程序
孙永强;黄仁玲 用算法推导非线性函数方程的一些展开定理。 （英语） Zbl 0642.68019号 科学。计算。程序。 9，1-15（1987年）.MSC公司：68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-Q.Sun}和\textit{R.-L.Huang}，科学。计算。程序。9、1-15（1987年；Zbl 0642.68019） 全文： DOI程序