罗伯特·奥伯梅尔 Ordnungstheoretische Semantik近似值为Berechnung。 （德语） Zbl 0642.68027号 慕尼黑理工大学数学与信息学院。102 S.（1986）。 审核人：R.奥伯迈尔 MSC公司：68第05页 2006年6月 第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.Obermeir}，Ordnungstheoretische Semantik近似值Berechnung。慕尼黑：TU（1986；Zbl 0642.68027）
F.B.巴斯塔尼。;拉马莫西，哥伦比亚。 用于估计过程控制程序正确性的基于输入域的模型。 （英语） Zbl 0688.68016号 可靠性理论，Proc。内部附表。物理“E.Fermi”，课程94，瓦伦纳/意大利1984，321-378（1986）。MSC公司：第68季度第60季度 68纳米99 PDF格式BibTeX公司 XML格式
米歇尔·雷纳尔 互斥算法。Transl.公司。大卫·比森（David Beeson）的《法语》。 （英语） Zbl 0662.68002号 AFCET Informatique公司。伦敦：北牛津学院，Kogan Page的一个部门。十四、 107页（1986年）。 审核人：H.沙龙 MSC公司：68纳米99 68-01 68N25号 第68季度第60季度 68平方米 94C30个 PDF格式BibTeX公司 XML格式
克劳斯·P·詹特克。 代数语义的递归能力。 （英语） Zbl 0659.68025号 Elektron公司。Kybernetik的信息 22, 275-296 (1986). 审核人：B.马赫 MSC公司：68第05页 03C57号 08B05号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Jantke}，Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息22，275--296（1986；Zbl 0659.68025）
雅克·科恩;蒂莫西·希基。 程序微观分析的新方向。 （英语） Zbl 0659.68018号 计算机与计算，Proc。国际会议。N.Gastinel，格勒诺布尔/法国1985年。里奇。Inf.，193-202（1986）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式
鲁利，A.E。（编辑） 电路分析、仿真和设计。第1部分：电路分析和设计的一般方面。 （英语） Zbl 0657.94016号 超大规模集成电路CAD进展，第3卷，第1部分。阿姆斯特丹等：North-Holland（Elsevier Science Publishers B.V.）。XII、 332页。；S 49.50；英国国防部。160.00（第1部分）（套）（1986年）。 审核人：C.科尔本 MSC公司：94C05（二氧化碳） 94-06 00亿Bxx PDF格式BibTeX公司 XML格式
博尔什切夫，V.B。 逻辑编程。 （英语。俄文原件） Zbl 0656.68098号 苏联。J.计算。系统。科学。 24，第6期，第15-32页（1986年）; Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1986年，第2期，第89-109页（1986年）。MSC公司：68吨15 第68季度第60季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.B.Borshchev}，苏联。J.计算。系统。科学。24，No.6，15--32（1986；Zbl 0656.68098）；Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1986年，第2期，89--109（1986）
科斯蒂尔科，V.S。 合成“for”循环和数据结构的编程函数。 （英语。俄文原件） Zbl 0656.68024号 控制论 22，第4期，423-431（1986）; 译自Kibernetika，1986年，第4期，第13-19页（1986年）。 审核人：L.布里姆 MSC公司：第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Kostyrko}，《控制论》22，第4期，423--431（1986；Zbl 0656.68024）；译自Kibernetika 1986年，第4期，第13-19期（1986年） 全文： 内政部
Jantke，K.P。 终端代数语义是程序综合的基础。 （英语） Zbl 0655.68017号 计算机科学中的代数、组合和逻辑。1983年，第2卷，《大学数学》。《法学会杂志》，第42卷，第479页至第490页（1986年）。MSC公司：第68季度第60季度 68号01 68问题55 68问题65 PDF格式BibTeX公司 XML格式
维罗尼克·罗耶 标准指称语义的同余表示。 （英语） 兹比尔0653.68003 信息处理，程序。IFIP第十届世界计算。国会议员。，都柏林/爱尔兰。1986年，IFIP大会。序列号。10, 655-660 (1986).MSC公司：第68季度第60季度 68问题55 03B40型 PDF格式BibTeX公司 XML格式
萨佐诺夫，V.Yu。 （Sigma）表达式的无类型演算和类的Kripke-Platek集理论。 （俄语） Zbl 0648.03038号 维奇尔。修女。 116, 80-100 (1986). 审核人：G.E.造币厂（列宁格勒） MSC公司：35楼03号 第68季度第60季度 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{V.Yu.Sazonov}，维基斯尔。修女。116、80--100（1986年；Zbl 0648.03038）
可口、蒂埃里 《论题与类型》。 （法语） Zbl 0648.03006号 组合器和函数编程语言。第13弹簧附件。LITP，Val d'Ajol/法国1985，Lect。注释计算。科学。242, 71-84 (1986).MSC公司：03B40型 第68季度第60季度 35楼03号 PDF格式BibTeX公司 XML格式
贡查罗夫，S.S。 列表理论及其模型。 （俄语） Zbl 0646.68035号 维奇尔。修女。 114, 84-95 (1986). 审核人：A.克雷茨马尔 MSC公司：68问题65 第68季度第60季度 03B10号机组 03C35号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Goncharov}，维奇尔。修女。114、84-95（1986年；Zbl 0646.68035）
巴巴拉·利斯科夫;约翰·古塔格 程序开发中的抽象和规范。 （英语） Zbl 0644.68001号 麻省理工学院电气工程与计算机科学系列马萨诸塞州剑桥——伦敦：麻省理工学院出版社；纽约等：McGraw-Hill图书公司。十七、 第469页（1986年）。MSC公司：68-01 第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式
休伯特·科蒙 足够的完整性、术语重写系统和“反统一”。 （英语） Zbl 0643.68031号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 128-140 (1986).MSC公司：68问题65 第68季度第60季度 PDF格式BibTeX公司 XML格式
居里，P.-L。 分类组合子、序列算法和函数编程。 （英语） Zbl 0643.68004号 理论计算机科学研究笔记。马萨诸塞州伦敦博斯顿：皮特曼出版有限公司。；纽约等：John Wiley&Sons，Inc.XVI，300页；$24.95 (1986).MSC公司：68-02 03B40型 第68季度第60季度 03B70号 68问题55 PDF格式BibTeX公司 XML格式
托马斯·卡夫 程序验证器“Tatzelwurm”：关于线性不等式系统的推理。 （英语） Zbl 0642.68169号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 300-305 (1986).MSC公司：68吨15 第68季度第60季度 15A39型 PDF格式BibTeX公司 XML格式
哈恩勒，R。;海塞尔，M。;莱夫·W·。;斯蒂芬·W·。 基于动态逻辑的交互式验证系统。 （英语） Zbl 0642.68168号 自动扣除，程序。第八届国际会议，牛津/英语。1986年，Lect。注释计算。科学。230, 306-315 (1986).MSC公司：68吨15 03B70号 03B10号机组 PDF格式BibTeX公司 XML格式
劳伦斯·C·鲍尔森。 证明条件表达式规范化函数的终止。 （英语） Zbl 0642.68159号 J.汽车。推理 2, 63-74 (1986).MSC公司：68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}，J.Autom。推理2，63-74（1986年；Zbl 0642.68159） 全文： 内政部
塔达西·卡纳莫里;藤田，广岛 Prolog程序验证中归纳公式的制定。 （英语） Zbl 0642.68023号 自动扣除，程序。第八届国际会议，牛津/英国。1986年，Lect。注释计算。科学。230, 281-299 (1986).MSC公司：第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式
欧内斯特·马内斯。 最薄弱的前提条件：明确的见解。 （英语） Zbl 0642.68017号 类别理论和计算机编程，英国吉尔福德工作室，1985年，Lect。注释计算。科学。240, 182-197 (1986). 审核人：C.迪米特罗维奇 MSC公司：68号01 第68季度第60季度 18英镑05 18立方厘米 PDF格式BibTeX公司 XML格式
格雷什涅夫，S.N。;吕宾斯基（Lyubimskij，Eh.Z.）。;V.A.奇拉斯。 将功能模块与数据结构跟踪模块分离的实验系统中的循环程序合成。 （俄语。英文摘要） Zbl 0642.68014号 点燃。材料锑。 26，第4期，636-655（1986）.MSC公司：68号01 68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Greshnev}等人，利托夫。材料编号26，编号4，636--655（1986；Zbl 0642.68014）
皮埃尔·柏辽;奇才，菲利普 算法。程序的构造、证明和分析。Transl.公司。来自法国的Annwyl Williams。 （英语） Zbl 0642.68001号 奇切斯特等：John Wiley&Sons。九、 145页（1986年）。 审核人：H.J.施耐德 MSC公司：68-01 65年第68季度 第68季度第60季度 68瓦99 PDF格式BibTeX公司 XML格式
萨佐诺夫，V.Yu。;D.I.斯维里登科。 （Sigma）表达式语言的表示语义。 （俄语） Zbl 0642.03028号 维奇尔。修女。 114, 16-34 (1986). 审核人：A.克雷茨马尔 MSC公司：03天80 68问题65 68号01 第68季度第60季度 03D75号 03天60 03C70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Yu.Sazonov}和\textit{D.I.Sviridenko}，维基斯尔。修女。114、16-34（1986年；Zbl 0642.03028）
米歇尔·德·罗杰蒙特 有限结构逻辑和逻辑编程。 （英语） Zbl 0639.68102号 计算。Artif公司。智力。 5, 465-477 (1986).MSC公司：68吨15 68第20页 第68季度第60季度 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.de Rougemont}，计算。Artif公司。智力。5465-477（1986年；Zbl 0639.68102）
医学博士Smyth。 空间的有限逼近。 （英语） Zbl 0639.68021号 类别理论和计算机编程，研讨会，吉尔福德/英国1985年，莱克托。注释计算。科学。240, 225-241 (1986). 审核人：G.乔巴努 MSC公司：第68季度第60季度 68问题55 30楼06号 54甲12 06年2月23日 PDF格式BibTeX公司 XML格式
Boian、Florian Mircea 循环出口方案和语法；属性、流程图。 （英语） Zbl 0639.68017号 Babeș-Bolyai大学数学研究生。 31，第3期，52-57（1986）.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Boian}，研究生大学Babeș-Bolyai，数学。31，第3号，52-57（1986；Zbl 0639.68017）
杜辛，R.D。;雷沃德·史密斯，V.J。;C.D.沃尔特。 形式逻辑及其在计算机科学中的应用的第一门课程。 （英语） Zbl 0639.03001号 计算机科学文本。牛津等：Blackwell Scientific Publications。六、 265页。；£9.95 (1986). 审核人：R.纳伯特 MSC公司：03-01 68-01 03B05号 03B10号机组 68吨15 第68季度第60季度 94立方厘米 68页第10页 PDF格式BibTeX公司 XML格式
医学硕士Bul’onkov。;埃尔肖夫，A.P。 混合计算的通用过程如何生成特殊的翻译结构？ （俄语） Zbl 0638.68019号 维奇尔。修女。 116, 47-66 (1986).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.A.Bul'onkov｝和\textit｛A.P.Ershov｝，Vychisl。修女。116、47-66（1986年；Zbl 0638.68019）
Sabel'feld，V.K。 在对程序进行全局分析的情况下，如何考虑操作的属性？ （俄语） Zbl 0638.68018号 维奇尔。修女。 116, 33-46 (1986).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Sabel'feld}，维奇尔。修女。116、33-46（1986年；Zbl 0638.68018）
O.A.伊莱切娃。 关于定义常数模型的拟恒等式的语义。 （俄语） Zbl 0638.68017号 维奇尔。修女。 116, 16-32 (1986).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \文本{O.A.Il’icheva}，Vychils。修女。116、16-32（1986年；Zbl 0638.68017）
洛马佐瓦，I.A。 不承认副作用的程序的公理语义。 （俄语） Zbl 0638.68016号 维奇尔。修女。 116, 129-137 (1986).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Lomazova}，维基斯尔。修女。116129-137（1986年；Zbl 0638.68016）
Kayurov，V.Yu。 R图的代数解释。 （英语。俄文原件） Zbl 0637.68021号 控制论 22, 554-559 (1986); 译自Kibernetika 1986，第5期，17-21（1986）。 审核人：G.乔巴努 MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Yu.Kayurov}，控制论22，554--559（1986；Zbl 0637.68021）；译自Kibernetika 1986，No.5，17-21（1986） 全文： 内政部
L’vov，M.S。 在有序域上解释的程序中的不变不等式。 （英语。俄文原件） Zbl 0637.68020号 控制论 22, 560-568 (1986); 译自Kibernetika，1986年，第5期，22-27页（1986年）。 审核人：G.乔巴努 MSC公司：第68季度第60季度 12月15日 13英尺20英寸 第12天15 PDF格式BibTeX公司 XML格式引用 \textit{M.S.L'vov}，控制论22，560--568（1986；Zbl 0637.68020）；译自Kibernetika 1986年，第5期，第22-27期（1986年） 全文： 内政部
埃吉迪奥·阿斯泰西亚诺;雷焦·詹娜;马丁·威尔辛 关系规范和观察语义。 （英语） Zbl 0637.68012号 计算机科学数学基础。第十二交响曲。，布拉迪斯拉发/捷克。1986年，Lect。注释计算。科学。233, 209-217 (1986). 审核人：M.果戈拉 MSC公司：68号01 第68季度第60季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式
大冢，T。（编辑） 布局设计和验证。 （英语） Zbl 0637.68009号 VSLI CAD进展，第4卷。阿姆斯特丹等地：荷兰北部。九、 356页；$49.50；英国国防部。160.00 (1986). 审核人：T.奥克涅努 MSC公司：68-06 65年第68季度 68卢比 68瓦99 94立方厘米 94C15号机组 PDF格式BibTeX公司 XML格式
David A.Plaisted。;史蒂文·格林鲍姆 结构保留子句形式的翻译。 （英语） Zbl 0636.68119号 J.塞姆。计算。 2, 293-304 (1986).MSC公司：68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Plaisted}和\textit{S.Greenbaum}，J.Symb。计算。2293--304（1986；Zbl 0636.68119） 全文： 内政部
库塞尔，B。 语法和程序方案的统一理论：通过折叠和展开对其转换正确性的应用。 （英语） Zbl 0636.68105号 数学系。，卡尔·马克思经济大学。，布达佩斯1986-4，38-74（1986）。MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式
布鲁诺·库塞尔 正则系统的等价和转换-递归程序方案和语法的应用。 （英语） Zbl 0636.68104号 西奥。计算。科学。 42, 1-122 (1986). 审核人：A.V.阿尼西莫夫 MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔}，Theor。计算。科学。42、1-122（1986年；Zbl 0636.68104） 全文： 内政部
格林·温斯克尔 具有模态断言的SCCS的完整证明系统。 （英语） Zbl 0636.68017号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 9, 401-419 (1986).MSC公司：第68季度第60季度 03B70号 68N25号 68吨15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Winskel}，安.社会数学。政策。，序列号。四、 芬丹。Inf.9，401--419（1986；Zbl 0636.68017）
大卫·麦奎因;戈登·普洛金;拉维·塞提 递归多态类型的理想模型。 （英语） Zbl 0636.68016号 Inf.控制 71, 95-130 (1986). 审核人：J.兹拉图斯卡 MSC公司：第68季度第60季度 03B40型 68问题65 03C99号 PDF格式BibTeX公司 XML格式引用 \textit｛D.MacQueen｝等人，Inf.Control 71，95-130（1986年；Zbl 0636.68016） 全文： 内政部
费利佩·布拉乔 计算数学理论：兰姆达微积分、模型和不动点。 （西班牙语） Zbl 0636.68015号 第18届国家研究计划。恭喜。墨西哥数学。社会、程序。，梅里达/墨西哥，1984年，Aportaciones Mat.，Comun。1, 115-124 (1986).MSC公司：第68季度第60季度 68问题65 03B40型 PDF格式BibTeX公司 XML格式
于尔肖夫（Yu Ershov）。L。;Goncharov，S.S。;D.I.斯维里登科。 语义编程。 （英语） Zbl 0636.68013号 研讨会。，洪堡大学（Sekt.Berlin）。数学。 86, 35-55 (1986).MSC公司：68号01 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}等人，研讨会。，洪堡大学（Sekt.Berlin）。数学。86，35-55（1986年；兹bl 0636.68013）
阮惠坚（Nguyen Huu Chien） 使用路径表达式进行顺序程序调试。 （英语） Zbl 0635.68009号 数学系。，卡尔·马克思经济大学。，布达佩斯1986-4，196-203（1986）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式
阿尼西莫夫。;Safronyuk，S.V.公司。 借助迭代算法对递归进行建模。 （英语。俄文原件） Zbl 0635.68006号 程序。计算。软件 12, 128-138 (1986); 翻译自Programmirovanie 1986，编号3，38-50（1986）。MSC公司：第68季度第60季度 68号01 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Anisimov}和\textit{S.V.Safronyuk}，程序。计算。柔和。12、128——138（1986年；Zbl 0635.68006）；译自Programmirovanie 1986，No.3，38--50（1986）
拉兹洛·瓦尔加 关于抽象编程系统的语义。 （英语） Zbl 0634.68008号 数学系。，卡尔·马克思经济大学。，布达佩斯1986-4，298-307（1986）。MSC公司：第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式
恩德雷·西蒙 使用属性语法的程序规范。 （英语） Zbl 0634.68007号 数学系。，卡尔·马克思经济大学。，布达佩斯1986-4，216-230（1986）。MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式
威廉·摩尔;罗伯特·E·米勒。;格罗弗·M·哈钦斯。 医学文本的微机翻译：泽曼模态逻辑第二章的定理验证。 （英语） Zbl 0633.68089号 数学。建模 7, 1621-1633 (1986).MSC公司：68吨15 68T50型 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.W.Moore}等人，数学。模型71621--1633（1986；Zbl 0633.68089） 全文： 内政部
高石横森 逻辑程序的表示定理和基本谓词。 （英语） 兹比尔0632.68083 牛市。信息网络。 22，第1-2号，第19-37号（1986年）. 审核人：M.Smidek先生 MSC公司：68吨15 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.横滨}，公牛。信息网络。22，编号1--2，19-37（1986；Zbl 0632.68083）
哈桑·艾特·卡奇 类型包含作为计算模型。 （英语） Zbl 0632.68035号 专家数据库系统，Proc。第一期国际研讨会，Kiawah Island/S.C.1984，115-139（1986）。MSC公司：68问题65 68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式
Csirmaz，L。 程序的非标准逻辑。 （英语） Zbl 0632.68033号 计算机科学中的代数、组合和逻辑。1983年，第1卷，《大学数学》。János Bolyai社会42，285-294（1986）。 审核人：H.西村 MSC公司：68问题65 第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式
什蒂凡·费达克 用于并行程序设计的改进Petri网。 （英语） Zbl 0632.68019号 牛市。申请。数学。 43，编号404，67-77（1986）.MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Š.Fedák}，公牛。申请。数学。43，编号404，67--77（1986；Zbl 0632.68019）
布赖恩特，巴雷特R。;巴兰亚尼亚特·埃杜普甘蒂;Lee S.赫尔。 作为公理语义的可实现元语言的两级语法。 （英语） Zbl 0631.68070号 计算。语言。 11, 173-191 (1986).MSC公司：68问题55 第68季度第60季度 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Bryant}等人，《计算》。语言11，173--191（1986；Zbl 0631.68070） 全文： 内政部
彼得·巴赫曼;Phan Minh Dung公司 非确定性计算——结构和公理。 （英语） Zbl 0629.68052号 Elektron公司。Kybernetik的信息 22, 243-261 (1986). 审核人：E.克努特 MSC公司：03天60 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bachmann}和\textit{Phan Minh Dung}，Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息22，243--261（1986；Zbl 0629.68052）
A.内罗德。 应用逻辑。 （英语） Zbl 0629.68031号 学科融合：纯数学、应用数学和计算数学的新方向。交响乐团。尊敬的G.S.Young，拉腊米/怀俄明州，1985年，127-163年（1986年）。 审核人：R.纳伯特 MSC公司：68问题65 68-02 2002年3月 03B10号机组 68吨15 第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式
程正超 函数式和分解式编程。 （中文。英文摘要） Zbl 0629.68005号 J.南京研究技术。 16，第1期，第103-112页（1986年）.MSC公司：68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Cheng}，J.南京理工大学。16，编号1，103--112（1986；Zbl 0629.68005）
阿尔特·卡奇，哈桑 有效求解类型方程的代数语义方法。 （英语） Zbl 0628.68010号 西奥。计算。科学。 45, 293-351 (1986).MSC公司：第68季度第60季度 68吨15 68号01 PDF格式BibTeX公司 XML格式引用 \文本{H.Ait-Kaci}，Theor。计算。科学。45、293--351（1986年；Zbl 0628.68010） 全文： 内政部
尤金尼奥·莫吉 部分态射和（lambda_p）演算的范畴。 （英语） Zbl 0628.03007号 类别理论和计算机编程，英国吉尔福德工作室，1985年，Lect。注释计算。科学。240, 242-251 (1986).MSC公司：03B40型 18日第15天 第68季度第60季度 03G30型 PDF格式BibTeX公司 XML格式
阿普特，K.R。;普洛金，G.D。 可数不确定性和随机分配。 （英语） Zbl 0627.68015号 J.协会计算。机器。 33, 724-767 (1986).MSC公司：第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛K.R.Apt｝和\textit｛G.D.Plotkin｝，J.Assoc.Comput。机器。33、724--767（1986年；Zbl 0627.68015） 全文： 内政部 链接
C.A.R.霍尔。;何继峰 最弱的预规范，第二部分。 （英语） Zbl 0627.68011号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 9, 217-251 (1986).MSC公司：第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和textit{J.He}，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.9，217--251（1986；Zbl 0627.68011）
乔治·米尔恩。 朝向可验证的正确VLSI设计。 （英语） Zbl 0626.68042号 超大规模集成电路设计的形式方面。研讨会，爱丁堡/苏格兰。1985, 1-22 (1986). 审核人：A.米查尔斯基 MSC公司：99年第68季度 68N25号 94C99号 PDF格式BibTeX公司 XML格式
雷蒙德·布特 系统语义和形式化电路描述。 （英语） Zbl 0624.94020号 IEEE传输。电路系统。 33, 1219-1231 (1986).MSC公司：94C99号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Boute}，IEEE传输。电路系统。331219-1231（1986年；兹bl 06249.4020） 全文： 内政部
乔恩·舒提斯 什么是模型？消费者对语义理论的看法。 （英语） Zbl 0624.68035号 编程语义的数学基础。国际会议，曼哈顿/堪萨斯州，1985年，Lect。注释计算。科学。239296-307（1986）中描述。MSC公司：68-01 第68季度第60季度 68-02 PDF格式BibTeX公司 XML格式
萨姆森·艾布拉姆斯基 严格性分析和多态不变性。 （英语） Zbl 0624.68034号 程序作为数据对象，Proc。研讨会，哥本哈根/丹麦。1985年，Lect。注释计算。科学。217, 1-23 (1986).MSC公司：68问题65 第68季度第60季度 03B40型 PDF格式BibTeX公司 XML格式
安德烈亚·阿斯佩蒂;朱塞佩·隆戈 相关类型结构。弗里德曼和斯塔特曼主题的部分变体。 （英语） Zbl 0624.68033号 代数和编程树，Proc。第11届科洛克，尼斯/法国，1986年，Lect。注释计算。科学。214, 266-287 (1986).MSC公司：68问题65 03B40型 第68季度第60季度 PDF格式BibTeX公司 XML格式
Edelsbrunner，H。 边缘骨架与应用程序相结合。 （英语） Zbl 0623.68059号 算法学 1, 93-109 (1986).MSC公司：68页第10页 57平方米20 51A45型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Edelsbrunner}，Algorithmica 1，93--109（1986；Zbl 0623.68059） 全文： 内政部
Edelsbrunner，H。;Waupotitsch，R。 计算二维切割的火腿三明治。 （英语） Zbl 0623.68058号 J.塞姆。计算。 2, 171-178 (1986).MSC公司：68页第10页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Edelsbrunner}和\textit{R.Waupotitsch}，J.Symb。计算。2171--178（1986年；Zbl 0623.68058） 全文： 内政部
Yu Karpov。G.公司。 基于CCS的协议的正式描述和验证。 （英语。俄文原件） Zbl 0623.68025号 自动化。控制计算。科学。 20，第6号，16-25（1986）; Avtom翻译。维奇尔。泰克。20，第6期，21-30（1986年）。MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit｛Yu.G.Karpov｝，汽车。控制计算。科学。20，第6号，第16-25条（1986；Zbl 0623.68025）；Avtom翻译。维奇尔。泰克。20，第6号，第21--30号（1986年）
斯蒂芬·布鲁克斯。 具有共享功能的类ALGOL语言的完全抽象语义和证明系统。 （英语） Zbl 0623.68015号 编程语义的数学基础。国际会议，曼哈顿/堪萨斯州，1985年，Lect。注释计算。科学。239, 59-100 (1986). 审核人：一、游击队员 MSC公司：第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式
沃罗布埃夫，S.G。 条件项替换系统在程序验证中的应用。 （英语。俄文原件） Zbl 0623.68008号 程序。计算。软件 12, 151-161 (1986); 译自Programmirovanie 1986，第4期，3-14页（1986）。MSC公司：68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Vorob'ev}，程序。计算。柔和。12、151--161（1986年；Zbl 0623.68008）；译自Programmirovanie 1986，No.4，3--14（1986）
梅尔顿，A。;施密特，D.A。;乔治·斯特雷克（George E.Strecker）。 Galois连接和计算机科学应用。 （英语） Zbl 0622.06004号 类别理论和计算机编程，英国吉尔福德工作室，1985年，Lect。注释计算。科学。240, 299-312 (1986). 审核人：阿达梅克 MSC公司：2015年1月6日 第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式
肯·赫罗斯;Makoto高桥;山田，新一 规格说明分析系统（FL_{m，n}）及其完备性定理。 （英语） Zbl 0621.68006号 J.信息处理。 9, 220-227 (1986).MSC公司：第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Hirose}等人，J.Inf.过程。9220--227（1986年；Zbl 0621.68006）
霍斯特·赖切尔 行为程序规范。 （英语） Zbl 0621.68005号 类别理论和计算机编程，英国吉尔福德工作室，1985年，Lect。注释计算。科学。240, 390-411 (1986).MSC公司：第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式
阿布拉莫夫，S.A。;E.A.卡兹米纳。;库克利亚耶娃，V.A。 错误数据的语义变体和程序的近似实现。 （俄语） Zbl 0621.68002号 Zh公司。维奇尔。Mat.Mat.Fiz公司。 26，第3期，417-429（1986）.MSC公司：第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Abramov}等人，Zh。维奇尔。Mat.Mat.Fiz公司。26，第3号，417--429（1986；Zbl 0621.68002）
彼得·戴比杰 范畴理论和编程语言语义：概述。 （英语） 兹标062168001 类别理论和计算机编程，英国吉尔福德工作室，1985年，Lect。注释计算。科学。240, 165-181 (1986).MSC公司：第68季度第60季度 18日第15天 PDF格式BibTeX公司 XML格式
比森，M.J。 证明程序和编程证明。 （英语） Zbl 0621.03040号 科学的逻辑、方法论和哲学VII，Proc。第七届国际会议。，萨尔茨堡1983年，《发现逻辑研究》。数学。114, 51-82 (1986). 审核人：G.薄荷 MSC公司：35楼03号 第68季度第60季度 PDF格式BibTeX公司 XML格式
范·埃姆德·博阿斯（Peter van Emde Boas） 用于规则集成和模块化的语义模型。 （英语） Zbl 0619.68032号 计算机科学数学基础。第十二交响曲。，布拉迪斯拉发/捷克。1986年，Lect。注释计算。科学。233, 78-92 (1986).MSC公司：68问题65 68吨15 68第20页 68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式
迈克尔·梅因（Michael G.Main）。 自由构建幂域。 （英语） Zbl 0619.68013号 编程语义的数学基础。国际会议，曼哈顿/堪萨斯州，1985年，Lect。注释计算。科学。239, 162-183 (1986). 审核人：L.布里姆 MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式
阮惠坚（Nguyen Huu Chien） 一种用于指定并行程序在调试期间预期行为的语言。 （英语） 兹比尔0619.68010 数学系。，卡尔·马克思经济大学。，布达佩斯1986-399-112（1986）。MSC公司：68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式
阮惠坚（Nguyen Huu Chien） EBE语言及其语义。 （英语） Zbl 0619.68009号 数学系。，卡尔·马克思经济大学。，布达佩斯1986-345-61（1986）。MSC公司：68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式
马里亚纽拉州Dezani-Ciancaglini;Margaria，伊内斯 F完全类型赋值的特征。 （英语） Zbl 0619.03014号 西奥。计算。科学。 45, 121-157 (1986). 审核人：C.马萨拉吉 MSC公司：03B40型 03C65型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}和\textit{I.Margaria}，Theor。计算。科学。45、121--157（1986年；Zbl 0619.03014） 全文： 内政部
英格马里·贝斯克 如何构造可拓组合代数。 （英语） Zbl 0619.03013号 印度。数学。 48, 243-257 (1986). 审核人：C.马萨拉吉 MSC公司：03B40型 03C65型 2006年6月 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \印第安纳州textit{I.Bethke}。数学。48、243--257（1986年；Zbl 0619.03013）
黄，蔡黄;克里斯蒂安·伦戈尔 双音排序跟踪转换的自动证明。 （英语） Zbl 0618.68053号 西奥。计算。科学。 46, 261-284 (1986).MSC公司：68页第10页 65年第68季度 68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-H.Huang}和\textit{C.Lengauer}，Theor。计算。科学。46、261--284（1986年；Zbl 0618.68053） 全文： 内政部
科利尔，P.A。 简单编译器正确性-代数方法教程。 （英语） Zbl 0618.68015号 澳大利亚。计算。J。 18, 128-135 (1986).MSC公司：第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit｛P.A.Collier｝，澳大利亚。计算。J.18，128--135（1986；Zbl 0618.68015）
谢天华。 整合结构化分析和设计模型：初始代数方法。 （英语） Zbl 0618.68012号 澳大利亚。计算。J。 18, 121-127 (1986).MSC公司：第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.H.Tse}，澳大利亚。计算。J.18，121--127（1986；Zbl 0618.68012）
布拉斯马，A。;E.金伯。 广义正则表达式-一种在循环中进行分支的程序合成语言。 （英语） Zbl 0617.68076号 西奥。计算。科学。 46, 175-195 (1986).MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Brazma}和\textit{E.Kinber}，Theor。计算。科学。46、175--195（1986年；Zbl 0617.68076） 全文： 内政部
罗伯·格思;德罗弗，W.P。 再次验证监控器：验证面向对象系统的第一步。 （英语） Zbl 0617.68026号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 9, 371-399 (1986).MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gerth}和\textit{W.P.de Roever}，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.9，371--399（1986；Zbl 0617.68026）
阿布拉莫夫，S.A。;E.A.卡兹米纳。;库克利亚耶娃，V.A。 不准确数据的语义变体和程序的近似性能。 （英语。俄文原件） Zbl 0617.68019号 美国S.R.计算。数学。数学。物理学。 26，第1号，60-67（1986）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。26，第3期，417-429（1986年）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Abramov}等人，《美国科学院计算》。数学。数学。物理学。26，第1号，60-67（1986；Zbl 0617.68019）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。26，第3号，417--429（1986） 全文： 内政部
阿里·米莉;朱尔斯·德沙奈斯;让·雷蒙德·加涅 程序逐步细化的形式化模型。 （英语） Zbl 0617.68009号 ACM计算。Surv公司。 18，第3期，231-276（1986）.MSC公司：68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mili}等人，ACM计算。Surv公司。18，第3号，231--276（1986；Zbl 0617.68009） 全文： 内政部
书，罗纳德五世。;弗里德里希·奥托 两方协议的可验证性。 （英语） 兹比尔0616.94005 密码学进展——EUROCRYPT’85，Proc。研讨会，林茨/奥地利1985年，Lect。注释计算。科学。219, 254-260 (1986). 审核人：弗里德里希·奥托（凯泽斯劳滕） MSC公司：94A60型 94A62型 PDF格式BibTeX公司 XML格式 全文： 内政部
V.O.格罗彭。 游戏模型是优化计算机软件的基础。 （英语。俄文原件） Zbl 0616.68030号 自动化。远程控制 47, 1140-1147 (1986); Avtom翻译。Telemekh公司。1986年，编号8，135-143（1986）。MSC公司：68纳米99 第68季度第60季度 91A05型 91A20型 PDF格式BibTeX公司 XML格式引用 \textit{V.O.Groppen}，自动。遥控器47，1140--1147（1986；Zbl 0616.68030）；Avtom翻译。Telemekh公司。1986年，第8期，135--143（1986）
Rydeheard，D.E。;R.M.伯斯托尔。 分类统一算法。 （英语） Zbl 0616.68016号 类别理论和计算机编程，英国吉尔福德工作室，1985年，Lect。注释计算。科学。240, 493-505 (1986).MSC公司：第68季度第60季度 68号01 68瓦30 18B99型 PDF格式BibTeX公司 XML格式
唐纳德·桑内利;安杰伊·塔莱基 扩展ML：用于正式程序开发的机构依赖框架。 （英语） Zbl 0616.68015号 类别理论和计算机编程，英国吉尔福德工作室，1985年，Lect。注释计算。科学。240, 364-389 (1986).MSC公司：第68季度第60季度 18B99型 PDF格式BibTeX公司 XML格式
科斯蒂尔科，V.S。;巴库林，A.V。 不变断言和程序函数的归纳合成。 （英语。俄文原件） Zbl 0615.68015号 控制论 22, 16-25 (1986); 翻译自Kibernetika 1986，第1期，18-24页（1986年）。MSC公司：68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Kostyrko}和\textit{A.V.Bakulin}，控制论22，16-25（1986；Zbl 0615.68015）；译自Kibernetika 1986，No.1，18--24（1986）
约瑟夫·戈根（Joseph A.Goguen）。;R.M.伯斯托尔。 关于编程方法基础的研究：规范、机构、章程和协议。 （英语） Zbl 0615.68002号 类别理论和计算机编程，英国吉尔福德工作室，1985年，Lect。注释计算。科学。240, 313-333 (1986).MSC公司：68号01 第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式
玛尔塔·弗雷奥娃 CM-系统：自动定理证明和程序综合系统的新方法。 （英语） Zbl 0614.68066号 控制论与系统’86，Proc。第八届欧洲会议。，维也纳/奥地利1986，879-886（1986）。MSC公司：68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式
莱泽克·霍伦德斯基 重新审视了非确定性程序的正确性。 （英语） Zbl 0614.68011号 信息处理。莱特。 23, 299-303 (1986).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Holenderski}，Inf.过程。莱特。23299--303（1986年；Zbl 0614.68011） 全文： 内政部
Randal E.布莱恩特。 模拟器能验证电路吗？ （英语） Zbl 0613.94018号 超大规模集成电路设计的形式化方面，Proc。研讨会，爱丁堡/苏格兰。1985, 125-136 (1986).MSC公司：94立方厘米 68问题65 PDF格式BibTeX公司 XML格式
迈克尔·C·布朗。;埃德蒙·克拉克（Edmund M.Clarke）。;大卫·L·迪尔。 使用时序逻辑的自动电路验证：两个新示例。 （英语） Zbl 0613.94017号 超大规模集成电路设计的形式方面。研讨会，爱丁堡/苏格兰。1985, 113-124 (1986).MSC公司：94立方厘米 68问题65 PDF格式BibTeX公司 XML格式
雷蒙德·鲍特（Raymond T.Boute）。 数字系统语义的当前工作。 （英语） Zbl 0613.94016号 超大规模集成电路设计的形式方面。研讨会，爱丁堡/苏格兰。1985, 99-112 (1986).MSC公司：94立方厘米 第68季度第60季度 PDF格式BibTeX公司 XML格式