罗伯特·斯特兰德。 编译成高效机器代码的等式程序类。 （英语） Zbl 1508.68077号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。355, 449-461 (1989).MSC公司：68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.I.斯特朗}，莱克特。票据计算。科学。355449-461（1989年；Zbl 1508.68077） 全文： 内政部
美国雷迪。 程序综合的重写技术。 （英语） Zbl 1503.68048号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。355, 388-403 (1989).MSC公司：68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{美国红}，Lect。票据计算。科学。355388--403（1989年；Zbl 1503.68048） 全文： 内政部
安德烈·菲林斯基 声明性延续：对编程语言语义的二重性的研究。 （英语） Zbl 1493.68108号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。389, 224-249 (1989).MSC公司：68号30 03B40型 03B70号 03G30型 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Filinski}，莱克特。票据计算。科学。389224--249（1989年；Zbl 1493.68108） 全文： 内政部
西利，R.A.G。 多项式时间实现器的分级多类。 （英语） Zbl 1493.68122号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。389, 182-197 (1989).MSC公司：68号30 03B70号 18A50型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，莱克特。票据计算。科学。389182-197（1989年；Zbl 1493.68122） 全文： 内政部
肯特·彼得森；丹·辛克 Martin-Löf类型理论中归纳集合的集合构造函数。 （英语） Zbl 1493.68119号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。389, 128-140 (1989).MSC公司：68号30 03楼50 68甲15 68甲18 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{K.Peterson}和\textit{D.Synk}，莱克特。票据计算。科学。389128-140（1989年；Zbl 1493.68119） 全文： 内政部
尤金尼奥·莫吉 程序模块的范畴论描述。 （英语） Zbl 1493.68118号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。389, 101-117 (1989).MSC公司：68号30 18N10型 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}，莱克特。票据计算。科学。389101--117（1989年；Zbl 1493.68118） 全文： 内政部
约翰·休斯 多态性严格性分析的投影。 （英语） Zbl 1493.68110号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。389, 82-100 (1989).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Hughes}，莱克特。票据计算。科学。389、82--100（1989年；Zbl 1493.68110） 全文： 内政部
本特·琼森；约阿希姆·帕罗 确定一类非有限状态程序的互模拟等价性。 （英语） Zbl 1492.68086号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。349, 421-433 (1989).MSC公司：60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛B.Jonsson｝和\textit｛J.Parrow｝，Lect。票据计算。科学。349421-433（1989年；Zbl 1492.68086） 全文： 内政部
林卓杰 收缩阵列上的多项式乘法。 （英语） Zbl 0749.65015号 国际期刊计算。数学。 31，编号1-2，43-54（1989）.MSC公司：65D20个 2005年12月 68瓦35 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{C.-j.Lin}，国际计算机杂志。数学。31，编号1--2，43-54（1989；Zbl 0749.65015） 全文： 内政部
阿塔纳斯·拉登斯基；米莱娜·贾姆巴佐娃 巴克斯FP系统中的递归消除方案。 （英语） Zbl 0794.68102号 上帝。索菲亚。法国大学。材料通知。 83，第1号，39-49（1989）.MSC公司：60年第68季度 68号01 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{A.Radensky}和\textit{M.Djambazova}，上帝。沙发。法国大学。材料通知。83，第1号，39-49（1989；Zbl 0794.68102）
鲍里森科，V.I。 数据流模式的等效性。 （英语。俄文原件） Zbl 0800.68547号 控制论 25，第3期，289-299（1989）; 译自Kibernetika 1989年，第3期，1-10页（1989年）。MSC公司：60年第68季度 65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Borisenko}，《控制论》25，第3期，289--299（1989；Zbl 0800.68547）；译自Kibernetika 1989，No.3，1--10（1989） 全文： 内政部
伊利Parpucea 关于通用编程语言规范的代数基础。 （英语） Zbl 0796.68049号 准备”Babeș-Bolyai大学，法医。数学。物理。，Res.Semin公司。 1989年，第9期，61-82（1989）.MSC公司：68甲15 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{I.Parpucea}，准备``Babeș-Bolyai大学，法医。数学。物理。，Res.Semin公司。1989年，第9号，第61-82号（1989年；Zbl 0796.68049）
戈德列夫斯基，A.B。；Yu Kapitonova。五、。；克里沃伊，S.L。；Letichevskij，A.A。 程序分析的迭代方法。 （英语。俄文原件） Zbl 0800.68546号 控制论 25，第2期，139-152（1989）; 译自Kibernetika 1989，第2期，10-19（1989）。MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Godlevskij}等人，《控制论》25，第2期，139--152（1989；Zbl 0800.68546）；译自Kibernetika 1989，No.2，10--19（1989） 全文： 内政部
乌韦州Schöning 计算机科学家的逻辑。 （英语） Zbl 0748.03001号 计算机科学与应用逻辑进展8.马萨诸塞州波士顿等：Birkhäuser（ISBN 0-8176-3453-3/hbk）。166页（1989年）。 审核人：L.州（布库雷什蒂） MSC公司：03-01 03B05号 03B10号机组 68-01 68N17号 03B35型 68吨15 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Schöning}，计算机科学家逻辑。马萨诸塞州波士顿等：Birkhäuser（1989；Zbl 0748.03001）
诺曼·L·比格斯。 Pascal计算入门。 （英语） Zbl 0706.68021号 牛津：大学出版社。十、 第219页（1989年）。 审核人：G.格里加斯 MSC公司：68甲15 68号01 68-01 PDF格式BibTeX公司 XML格式引用 \textit｛N.L.Biggs｝，Pascal计算简介。牛津：大学出版社（1989；Zbl 0706.68021）
埃里克·奥杜罗；路易斯·法里纳斯·德尔·塞罗；帕特丽斯·恩贾尔伯特 临时后勤。Semostive et validation de programs paralliles系列。 （法语） Zbl 0702.68050号 信息学教育与研究。巴黎：马森。《联邦公报》第232页第210.00页（1989年）。 审核人：N.Curteanu公司 MSC公司：2010年第68季度 60年第68季度 03B45 68立方英尺 68吨15 68-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Audureau}等人，Logique tempolelle。Semostive et validation de programs paralliles系列。巴黎：马森（1989；Zbl 0702.68050）
凯尔赫、雷纳 Ein采用Verfahren zur numerischen Quadratur mit automatischer Ergebnis验证。（具有自动结果验证的自适应数值求积方法）。 （德语） Zbl 0696.65019号 卡尔斯鲁厄：大学，假的。f.数学。，不同。iv，154 S.（1989）。 审核人：R.Kelch公司 MSC公司：65天32分 65年xx月 65个B05 41A55型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kelch}，Ein改编了Verfahren zur numerischen Quadratur mit automatischer Ergebnis验证。（具有自动结果验证的自适应数值求积方法）。卡尔斯鲁厄：大学，假的。f.数学。（1989年；Zbl 0696.65019）
中岛，Reiji（编辑） 软件科学和技术的进步。第1卷。 （英语） Zbl 0825.68067号 软件科学与技术进展。1.波士顿等：学术出版社。东京：Iwanami Shoten Publ。八、 第218页（1989年）。MSC公司：68-06 60年第68季度 68问题65 第68季度55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Nakajima}（编辑），《软件科学与技术进展》。第1卷。波士顿等：学术出版社；东京：Iwanami Shoten Publ。（1989年；兹bl 0825.68067）
肯·萨卡穆拉（编辑） 1989年TRON项目。开放式体系结构计算机系统。第六届TRON项目研讨会论文集。1989年，日本东京。 （英语） Zbl 0810.68045号 东京等地：施普林格-弗拉格。第336页（1989年）。MSC公司：68-06 60年第68季度 68第05页 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Sakamura}（编辑），TRON项目1989。开放式体系结构计算机系统。第六届TRON项目研讨会会议记录。1989年，日本东京。东京等：Springer-Verlag（1989；Zbl 0810.68045）
最好的，艾克 非顺序程序的因果语义。（Kausale Semantik nichtsequentieller计划。） （德语） Zbl 0760.68046号 Berichte der Gesellschaft für Mathematik und Datenverabeitung公司。174.慕尼黑等：奥尔登堡。希尔德斯海姆大学，第四期，187页（1989年）。 审核人：N.Curteanu（伊阿什） MSC公司：第68季度55 68问题85 2010年第68季度 68-02 2005年第68季度 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}，考萨勒·塞曼提克nichtsequentieller计划。慕尼黑等：奥尔登堡-弗拉格；希尔德斯海姆大学（1989；Zbl 0760.68046）
海因茨·威廉·施密特 结合抽象数据类型和petri网的非序列系统的规范和正确实现。 （英语） Zbl 0681.68023号 GMD-Bericht，176年。慕尼黑等：奥尔登堡-弗拉格。九、 第206页（1989年）。 审核人：A.Maggiolo-Schettini公司 MSC公司：60年第68季度 第68页第25页 68-02 第68季度55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.W.Schmidt}，结合抽象数据类型和petri网的非序列系统的规范和正确实现。慕尼黑等：奥尔登堡（Oldenbourg Verlag）（1989；Zbl 0681.68023）
马丁·威尔辛（编辑）；Jan A.Bergstra。（编辑） 代数方法：理论、工具和应用。研讨会于1987年6月9日至11日在法国巴黎举行。诉讼程序。 （英语） Zbl 0745.68019号 计算机科学课堂讲稿. 394. 柏林等：Springer-Verlag。六、 第558页（1989年）。 审核人：D.Gruska（布拉迪斯拉发） MSC公司：68-06 68问题65 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wirsing}（编辑）和textit{J.A.Bergstra}（主编），代数方法：理论、工具和应用。研讨会于1987年6月9日至11日在法国巴黎举行。诉讼程序。柏林等：Springer-Verlag（1989；Zbl 0745.68019）
比德扬·伊拉尼，梅尔达德 超大规模集成电路的质量和可测试性。通过基于规则的系统确保质量。（质量和测试） （德语） Zbl 0752.68001号 信息-Fachberichte. 215. 柏林等：Springer-Verlag。九、 169页（1989年）。 审核人：P.Molitor（萨尔布吕肯） MSC公司：68-02 68米15 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidjan-Irani}，Qualität und Testbarkeit hochintegrierter Schaltungen（质量与测试）。Qualityätssicherung durch regelbasierte Systeme公司。柏林等：Springer-Verlag（1989；Zbl 0752.68001）
van de Snepscheut，Jan L.A。（编辑） 程序构造的数学。1989年6月26日至30日，荷兰格罗宁根国际会议，格罗宁恩大学成立375周年。诉讼程序。 （英语） Zbl 0751.68006号 计算机科学课堂讲稿.375。柏林等：Springer-Verlag。六、 第421页（1989年）。 审核人：A.Kreczmar（华沙） MSC公司：68-06 60年第68季度 03B70号 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛J.L.A.vandeSnepscheut｝（编辑），程序构建的数学。1989年6月26日至30日，荷兰格罗宁根国际会议，格罗宁恩大学成立375周年。诉讼程序。柏林等：Springer-Verlag（1989；Zbl 0751.68006）
罗兰·贝克豪斯（Roland C.Backhouse）。 程序构造和验证。用户。冯·凯西·米勒。（程序构建和验证。） （德语） Zbl 0743.68091号 慕尼黑等，伦敦：汉瑟，普伦蒂斯·霍尔。九、 264页（1989年）。 审核人：K.西伯 MSC公司：60年第68季度 68-01 PDF格式BibTeX公司 XML格式引用 \textit{R.C.Backhouse}，程序构建和验证。慕尼黑等：汉瑟；伦敦：普伦蒂斯·霍尔（1989；Zbl 0743.68091）
安德烈·塞斯（编辑） 从模态逻辑到演绎数据库。引入一种基于逻辑的人工智能方法。 （英语） Zbl 0682.68096号 奇切斯特等：威利父子公司第二十四期，380页（1989年）。 审核人：N.Curteanu公司 MSC公司：68吨15 68-02 03B45 68T50型 60年第68季度 68T99型 03B35型 03B65号 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{A.Thayse}（编辑），从模态逻辑到演绎数据库。引入基于逻辑的人工智能方法。奇切斯特等：威利父子有限公司（1989；Zbl 0682.68096）
R.Geoff，Dromey 程序推导。根据规范开发程序。 （英语） Zbl 0781.68084号 波恩等：Addison-Wesley出版公司。XVI、 第630页（1989年）。 审核人：H.Zeitler（慕尼黑） MSC公司：60年第68季度 68-01 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Dromey}，程序推导。根据规范开发程序。波恩等：Addison-Wesley出版公司（1989；Zbl 0781.68084）
罗宾·米尔纳 通信和并发。 （英语） Zbl 0683.68008号 普伦蒂斯·霍尔计算机科学国际系列。纽约等地：普伦蒂斯·霍尔。十一、 第260页（1989年）。 审核人：J.奥尔谢夫斯基 MSC公司：68-02 68问题65 第68页第25页 68号01 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner}，通信与并发。纽约等：普伦蒂斯·霍尔（1989；Zbl 0683.68008）
迈克尔·戈塞尔；勃艮第叛军；雷纳·克鲁茨堡 Speicherarchitektur和Parallelzugriff。(763 907 1). （德语） Zbl 0673.68002号 Informatik、Kybernetik、Rechentechnik, 28. 柏林（德意志民主共和国）：Akademie-Verlag。219 S.DM 48.00（1989年）。 审核人：K.Echtle公司 MSC公司：68-02 第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Gössel}等人，Speicherarchitektur und Parallelzugriff。(763 907 1). 柏林（德国）：Akademie-Verlag（1989；Zbl 0673.68002）
米歇尔·迪亚兹（编辑）；Jean-Pierre安萨尔（编辑）；Jean-Pierre科蒂亚特（编辑）；阿泽玛，皮埃尔（编辑）；维贾亚·查里（编辑） 形式描述技术Estelle。ESPRIT/SEDOS项目的结果。 （英语） Zbl 0800.68014号 阿姆斯特丹：荷兰北部。八、 第439页（1989年）。MSC公司：68-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Diaz}（编辑）等，形式描述技术Estelle。ESPRIT/SEDOS项目的结果。阿姆斯特丹：北荷兰（1989；Zbl 0800.68014）
乔布·兹维尔 组成性、并发性和部分正确性。过程网络的证明理论及其关系。 （英语） Zbl 0674.68011号 计算机科学课堂讲稿, 321. 柏林等：Springer-Verlag。六、 272 p.DM 42.00（1989）。 审核人：T.巴拉内斯库 MSC公司：60年第68季度 第68页第25页 68-02 99年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.Zwiers}，组成性、并发性和部分正确性。过程网络的证明理论及其关系。柏林等：Springer-Verlag（1989；Zbl 0674.68011）
斯皮维，J.M。 Z符号。参考手册。 （英语） Zbl 0777.68003号 普伦蒂斯·霍尔计算机科学国际系列。纽约等地：普伦蒂斯·霍尔。十一、 第155页（1989年）。 审核人：H.基洛夫（米林顿） MSC公司：68-00 68号01 60年第68季度 03B10号机组 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Spivey}，Z符号。参考手册。纽约等：普伦蒂斯·霍尔（1989；Zbl 0777.68003）
Van Eijk、Peter H.J。（编辑）；Chris A.Vissers。（编辑）；米歇尔·迪亚兹（编辑） 形式描述技术LOTOS。ESPRIT/SEDOS项目的结果。 （英语） Zbl 0800.68015号 阿姆斯特丹等地：荷兰北部。十、 第451页（1989年）。MSC公司：68-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.H.J.Van Eijk}（编辑）等，形式描述技术LOTOS。ESPRIT/SEDOS项目的结果。阿姆斯特丹等：北荷兰（1989；Zbl 0800.68015）
哈特穆特·埃里格；费沃纳；霍斯特·汉森；Löwe，迈克尔；院长雅各布斯 模块和配置族的代数软件开发概念。 （英语） Zbl 0729.68045号 软件技术和理论计算机科学基础。第九届会议，班加罗尔/印度，1989年，法律。票据计算。科学。405, 181-192 (1989).MSC公司：60年第68季度 68问题65 68N99型 PDF格式BibTeX公司 XML格式
I.P.科斯基。 二阶分辨率方法在智能计算系统中应用的可能性。 （英语。俄文原件） Zbl 0728.68109号 苏联。J.计算。系统。科学。 27，第3期，第105-114页（1989年）; 翻译自Izv。阿卡德。Tekh Nauk SSSR公司。Kibern。1988年，第2期，94-105（1988）。MSC公司：68吨15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛I.P.Kossej｝，Sov。J.计算。系统。科学。27，No.3，105--114（1989；Zbl 0728.68109）；翻译自Izv。阿卡德。Tekh Nauk SSSR公司。基伯恩。1988年，第2期，94--105（1988）
Gyachas，K。 分布式程序的组合Hoare逻辑和全局不变量的结构。 （俄语。英文摘要） Zbl 0727.68062号 Mat.Logika底漆。 6, 59-66 (1989).MSC公司：第68季度55 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Gyachas}，Mat.Logika引文。6、59-66（1989年；Zbl 0727.68062）
戴、敏；徐家福 GSPEC：软件的图形规范语言。 （英语） Zbl 0727.68015号 科学。中国，Ser。A类 32，第10号，1260-1269（1989）.MSC公司：68甲15 68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dai}和textit{J.Xu}，科学。中国，Ser。A 32，编号10，1260--1269（1989；Zbl 0727.68015）
佐尔坦·霍瓦思 编程数学模型中的基本关系运算。 （英语） Zbl 0723.68071号 安理大学。布达普。Rolando Eötvös，教派。计算。 10, 277-298 (1989).MSC公司：60年第68季度 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Horváth}，安理工大学。布达普。Rolando Eötvös，教派。计算。10277-298（1989年；兹bl 0723.68071）
谢基尔尼亚克，S.S。 研究自然参数和值函数的程序代数。 （俄语） Zbl 0721.68039号 Modeli Sist公司。令人厌恶。信息。 8, 9-16 (1989).MSC公司：60年第68季度 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Shkil'nyak}，模特姐姐。令人厌恶。Inf.8，9--16（1989；Zbl 0721.68039）
A.内罗德。；雷梅尔，J.B。；A.斯克洛夫。 多项式分级逻辑。I.系统T的分级版本。 （英语） Zbl 0717.03008号 计算机科学中的逻辑，Proc。第四届年度交响乐团。，Pacific Grove/CA（美国）1989，375-385（1989）。MSC公司：03B70号 60年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式
道格拉斯·J·豪。 惰性计算系统中的相等性。 （英语） Zbl 0716.68065号 计算机科学中的逻辑，Proc。第四届年度交响乐团。，Pacific Grove/CA（美国）1989、198-203（1989）。MSC公司：60年第68季度 68甲15 35楼03号 2005年第68季度 03B40型 PDF格式BibTeX公司 XML格式
皮埃尔·德兰萨特；马卢斯·津斯基（Maluszynski，Jan） 逻辑编程的语法观点。 （英语） Zbl 0716.68023号 程序设计语言实现和逻辑编程。国际研讨会，1988年法国奥尔良，勒克特。票据计算。科学。348, 219-251 (1989). 审核人：M.Kretinsky先生 MSC公司：68N17号 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式
丹尼尔·德·施雷耶；莫里斯·布吕诺格 抽象解释在源代码级程序转换中的应用。 （英语） Zbl 0715.68057号 编程语言实现与逻辑编程，Proc。国际研讨会，奥尔良/法国，1988年，Lect。票据计算。科学。348, 35-57 (1989).MSC公司：60年第68季度 68号01 68N17号 PDF格式BibTeX公司 XML格式
肯尼思·丹霍夫。；Mehdi R.扎尔加姆。 并行处理的Petri网模型：性能分析和程序验证。 （英语） Zbl 0712.68047号 J.库姆。信息系统。科学。 14，编号2-3，73-94（1989）.MSC公司：68宽15 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.J.Danhof}和\textit{M.R.Zargham}，J.Comb。信息系统。科学。14，编号2--3，73-94（1989；Zbl 0712.68047）
新罕布什尔州卡西莫夫。 关于用正公式有效表示数据的不可指定性。 （俄语） Zbl 0712.68026号 多克。阿卡德。诺克UzSSR 1989年，第6期，第4-5期（1989年）.MSC公司：68第05页 03天80 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kh.Kasymov}，多克。阿卡德。Nauk UzSSR 1989，编号6，4--5（1989；兹bl 0712.68026）
安德烈亚斯·戈德 通过更高类型中的一般递归定义来表征复杂性类。 （英语） Zbl 0712.03031号 CSL’88，程序。第二次研讨会，杜伊斯堡/FRG 1988，Lect。票据计算。科学。385, 99-117 (1989).MSC公司：2015年3月1日 2015年第68季度 03B40型 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式
丽娜·德希特；伊泰州梅里；朱迪亚·珀尔 时间约束网络。 （英语） Zbl 0709.68101号 知识表示和推理原理。第一。多伦多/加拿大国际会议。1989, 83-93 (1989).MSC公司：68层35 68平方米 2010年第68季度 68号01 PDF格式BibTeX公司 XML格式
彼得·马登 构造存在性证明的专门化和转换。 （英语） Zbl 0708.68072号 IJCAI-89，程序。国际会议，密歇根州底特律，美国1989，413-418（1989）。 审核人：N.Curteanu公司 MSC公司：68吨15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式
安娜·帕兹托 递归程序的非标准逻辑和指称语义。 （英语） Zbl 0708.68038号 代数和逻辑编程。国际研讨会，Gaussig/GDR 1988，Lect。票据计算。科学。343, 255-278 (1989). 审核人：M.斯坦比 MSC公司：60年第68季度 第68季度55 03B60号 PDF格式BibTeX公司 XML格式
Mehdi T.哈兰迪。；桑贾·邦萨利 使用类比进行程序推导。 （英语） Zbl 0708.68036号 IJCAI-89，程序。国际会议，密歇根州底特律，美国1989，389-394（1989）。 审核人：N.Curteanu公司 MSC公司：60年第68季度 68T20型 68T05型 PDF格式BibTeX公司 XML格式
莫里斯·布吕诺格；吕克·德·雷德；丹尼·德·施雷耶 基于解释的程序转换。 （英语） Zbl 0708.68011号 IJCAI-89，程序。国际会议，密歇根州底特律，美国1989，407-412（1989）。 审核人：N.Curteanu公司 MSC公司：68N17号 68T05型 60年第68季度 PDF格式BibTeX公司 XML格式
马克·佩林 Call-graph缓存：将程序转换为网络。 （英语） Zbl 0707.68058号 IJCAI 89，程序。国际会议，密歇根州底特律，美国1989年，122-128（1989）。 审核人：N.Curteanu公司 MSC公司：60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式
利普斯，P。；Möncke，美国。；威廉·R。 OPTRAN——一种用于程序转换规范的语言/系统：系统概述和经验。 （英语） Zbl 0704.68079号 编译器编译器和高速编译。第二次研讨会，柏林/GDR 1988，Lect。票据计算。科学。371, 52-65 (1989). 审核人：N.Curteanu公司 MSC公司：60年第68季度 68N20型 68甲15 第68季度第42季度 PDF格式BibTeX公司 XML格式
让·彭杰姆 用面向对象系统NUT构造编译器。 （英语） Zbl 0704.68020号 编译器编译器和高速编译。第二次研讨会，柏林/GDR 1988，Lect。票据计算。科学。371, 66-80 (1989). 审核人：N.Curteanu公司 MSC公司：68N20型 60年第68季度 68N99型 PDF格式BibTeX公司 XML格式
赫丁，G。 具有副作用的增量属性求值。 （英语） Zbl 0704.68014号 编译器编译器和高速编译。第二次研讨会，柏林/GDR 1988，Lect。票据计算。科学。371, 175-189 (1989). 审核人：N.Curteanu公司 MSC公司：68N20型 第68季度第42季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式
吉尔斯·伯诺 好的模仿者……是那些保留哲学的人！ （英语） Zbl 0703.68077号 图表 22, 15-29 (1989).MSC公司：68问题65 60年第68季度 08C05号机组 PDF格式BibTeX公司 XML格式引用 \textit｛G.Bernot｝，图表22，15-29（1989；Zbl 0703.68077） 全文： 欧洲DML
佐哈尔·曼纳；阿米尔·普努利 完成时间画面。 （英语） Zbl 0703.68075号 自动化、语言和编程、Proc。第16国际学院，斯特雷萨/意大利1989年，法律。票据计算。科学。372, 534-558 (1989). 审核人：M.K.Val’ev公司 MSC公司：60年第68季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式
Maxemchuk，北卡罗来纳州。；克莉莎·萨巴尼 通信协议的概率验证。 （英语） Zbl 0703.68023号 分布计算。 第3期，第118-129页（1989年）.MSC公司：68平方米 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{N.F.Maxemchuk}和\textit{K.Sabnani}，分布式计算。3，编号3，118--129（1989；Zbl 0703.68023） 全文： 内政部
珍妮特·温格。 验证原子数据类型。 （英语） Zbl 0701.68076号 国际J并行程序。 18，第5号，315-357（1989）.MSC公司：60年第68季度 68问题65 68米15 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Wing}，国际J.并行程序。18，编号5，315--357（1989；Zbl 0701.68076） 全文： 内政部
德布鲁因，N.G。 数学和计算机。 （英语） Zbl 0701.00040号 Nieuw拱门。威斯克德。，四、 序列号。 169-195年第3期第7页（1989年）. 审核人：N.G.de Bruijn公司 MSC公司：00A30型 03F99型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{N.G.de Bruijn}，纽拱门。威斯克德。，四、 序列号。7，第3号，169--195（1989；Zbl 0701.00040）
托马斯·斯穆克 并发软件系统的正确性。 （波兰语。英文摘要） 兹伯利0698.68017 泽兹。恶心。阿卡德。戈恩-胡顿。斯坦尼斯。斯塔西卡 1231，自动。46、193页（1989年）.MSC公司：60年第68季度 第68页第25页 68-02 PDF格式BibTeX公司 XML格式引用 \文本{T.Szmuc}，Zesz。恶心。阿卡德。戈恩-胡顿。斯坦尼斯。Staszica[…]，汽车。1231（46），193页（1989；Zbl 0698.68017）
Hayao Nakahara 证明和程序：一种天真的程序提取方法。 （英语） Zbl 0698.68015号 出版物。Res.Inst.数学。科学。 25，第3期，415-489（1989）. 审核人：A.P.斯托尔布什金 MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Nakahara}，出版物。Res.Inst.数学。科学。25，第3号，415--489（1989；Zbl 0698.68015） 全文： 内政部
兹比格涅夫·斯塔奇尼亚克 多值计算逻辑。 （英语） Zbl 0698.03008号 J.菲洛斯。逻辑 18，第3期，257-274（1989）. 审核人：Z.斯塔奇尼亚克 MSC公司：03B50号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Stachniak}，J.Philos（费罗斯）。日志。18，第3号，257--274（1989；Zbl 0698.03008） 全文： 内政部
最好的，艾克；Lengauer，基督徒 语义独立性。 （英语） Zbl 0697.68021号 科学。计算。程序。 13，第1期，23-50（1989）. 审核人：G.乔巴努 MSC公司：60年第68季度 第68页第25页 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit｛E.Best｝和\textit｛C.Lengauer｝，科学。计算。程序。13，编号1，23--50（1989；Zbl 0697.68021） 全文： 内政部
罗兰·巴克豪斯；保罗·奇索姆；格兰特·马尔科姆；埃里克·萨曼 自我型理论。 （英语） Zbl 0697.68020号 形式方面计算。 第1期，第19-84页（1989年）.MSC公司：60年第68季度 68第05页 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}等人，正式Asp。计算。1，编号1，19--84（1989；Zbl 0697.68020） 全文： 内政部
van de Snepscheut，Jan L.A。；约翰·斯温克（Johan B.Swenker）。 关于一些收缩算法的设计。 （英语） Zbl 0697.68017号 J.助理计算。机器。 36，第4期，826-840（1989）.MSC公司：68N99型 68问题80 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.L.A.van de Snepscheut}和textit{J.B.Swenker}，J.Assoc.Compute。机器。36，第4号，826--840（1989；Zbl 0697.68017） 全文： 内政部
何继峰 过程模拟和细化。 （英语） Zbl 0696.68099号 形式方面计算。 第1期，第3期，229-241页（1989年）.MSC公司：68岁20岁 第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Jifeng}，正式Asp。计算。1，第3号，229--241（1989；Zbl 0696.68099） 全文： 内政部
弗莱明·尼尔森 两级语义和抽象解释。 （英语） Zbl 0696.68093号 西奥。计算。科学。 69，第2期，117-242（1989）. 审核人：N.Curteanu公司 MSC公司：第68季度55 60年第68季度 68N99型 68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{F.尼尔森}，Theor。计算。科学。69，No.2，117--242（1989；Zbl 0696.68093） 全文： 内政部
Holmström，Sören Hennessy-Milner逻辑中使用递归的规范精化演算。 （英语） Zbl 0696.68037号 形式方面计算。 1，第3期，242-272（1989）.MSC公司：第68页第25页 60年第68季度 03B45 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Holmström}，正式Asp。计算。1，第3号，242--272（1989；Zbl 0696.68037） 全文： 内政部
伊尔迪科·塞恩 非确定性Floyd-Hoare逻辑的一些语义特征的初步证明。 （英语） Zbl 0696.03013号 圣母院J.形式逻辑 30，第4期，563-573（1989）. 审核人：J.-J.Ch.梅耶 MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Sain}，圣母院J.形式逻辑30，No.4，563--573（1989；Zbl 0696.03013） 全文： 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。二： 宽度有界的无限图。 （英语） Zbl 0694.68043号 数学。系统。理论 21，第4期，187-221（1989）. 审核人：S.布鲁姆 MSC公司：68兰特 03B15号机组 05C99年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}，数学。系统。理论21，第4期，187--221（1989；Zbl 0694.68043） 全文： 内政部
西蒙，汤普森 米兰达的逻辑。 （英语） Zbl 0694.68017号 形式方面计算。 1，第4号，339-365（1989）.MSC公司：60年第68季度 68号01 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Thompson}，正式Asp。计算。1，第4号，339--365（1989；Zbl 0694.68017） 全文： 内政部
彼得·戴比杰；赫伯特·P·桑德。 一种用于描述和验证并发系统的函数编程方法。 （英语） Zbl 0694.68015号 形式方面计算。 1，第4号，303-319（1989）.MSC公司：60年第68季度 68号01 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Dybjer}和\textit{H.P.Sander}，正式Asp。计算。1，第4号，303--319（1989；Zbl 0694.68015） 全文： 内政部
Jan M.史密斯。 命题函数和类型族。 （英语） Zbl 0694.03038号 圣母院J.形式逻辑 30，第3期，442-458（1989）. 审核人：李翔 MSC公司：35楼03号 68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Smith}，圣母院J.形式逻辑30，No.3，442--458（1989；Zbl 0694.03038） 全文： 内政部
大辅佐藤；久崎田木 一阶编译器：一种确定性逻辑程序综合算法。 （英语） 兹伯利0693.68017 J.塞姆。计算。 8，第6号，605-627（1989）.MSC公司：68N99型 68吨15 68T99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛T.Sato｝和\textit｛H.Tamaki｝，J.Symb。计算。8，第6号，605--627（1989；Zbl 0693.68017） 全文： 内政部
德国人，Steven M。；埃德蒙·克拉克（Edmund M.Clarke）。；约瑟夫·霍尔珀（Joseph Y.Halpern）。 在语言L4中将过程作为参数进行推理。 （英语） Zbl 0692.68011号 Inf.计算。 83，第3期，265-359（1989）.MSC公司：60年第68季度 68号01 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.M.German}等人，Inf.Compute。83，第3号，265--359（1989；Zbl 0692.68011） 全文： 内政部 链接
舒马赫，G。 求解非线性方程并验证结果。 （英语） Zbl 0692.65027号 精确数值算法，Coll。研究巴普。，项目Res.Rep.ESPRIT。1072，钻石，1203-234（1989）。 审核人：W.Zulehner先生 MSC公司：65H10型 PDF格式BibTeX公司 XML格式
M.尼瓦特。；A.索乌迪。 无限对象的自动机及其在逻辑和编程中的应用。 （英语） Zbl 0691.68068号 Inf.计算。 83，第1期，第41-64页（1989年）. 审核人：M.斯坦比 MSC公司：65年第68季度 05年3月 60年第68季度 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nivat}和\textit{A.Saoudi}，Inf.Compute。83，编号1，41--64（1989；Zbl 0691.68068） 全文： 内政部
托马斯·斯穆克 支持并发进程的设计和正确性分析。 （波兰语。英文摘要） Zbl 0691.68023号 泽兹。恶心。阿卡德。戈恩-胡顿。斯坦尼斯。斯塔西卡 1260，自动。47119-130（1989年）.MSC公司：第68页第25页 99年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{T.Szmuc}，Zesz。恶心。阿卡德。戈恩-胡顿。斯坦尼斯。Staszica[…]，汽车。1260（47），119--130（1989；Zbl 0691.68023）
亚历山大·布代特；Jean-Pierre Jouannaud；曼弗雷德·施密特·肖斯 布尔环和阿贝尔群的统一。 （英语） Zbl 0689.68040号 J.塞姆。计算。 8，第5号，449-477（1989）.MSC公司：68瓦30 06E20型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Boudet}等人，J.Symb。计算。8，第5号，449--477（1989；Zbl 0689.68040） 全文： 内政部
E.Robert McCurley 部分正确性编程逻辑中的辅助变量。 （英语） Zbl 0689.68009号 信息处理。莱特。 33，第3期，131-133（1989）.MSC公司：60年第68季度 68号01 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.R.McCurley}，Inf.流程。莱特。33，第3号，131--133（1989；Zbl 0689.68009） 全文： 内政部
卡洛·盖齐；迪诺·曼德里奥利；桑德罗·莫拉斯卡；毛罗·佩泽尔 使用Petri网的并发系统的符号执行。 （英语） Zbl 0689.68008号 计算。语言。 14，第4期，263-281（1989）.MSC公司：60年第68季度 第68页第25页 68问题85 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Ghezzi}等人，计算。Lang.14，No.4，263--281（1989；Zbl 0689.68008） 全文： 内政部
大卫·本森。 双代数：分布式和并发计算的一些基础。 （英语） Zbl 0689.18009号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 12，第4期，427-486（1989）.MSC公司：18日第10天 68号01 第68页第25页 60年第68季度 03天80 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Benson}，Ann.社会数学。政策。，序列号。四、 芬丹。Inf.12，No.4，427--486（1989；Zbl 0689.18009）
约翰·格雷（John W.Gray）。 作为代数语义模型的草图类别。 （英语） Zbl 0688.68077号 计算机科学和逻辑分类，Proc。AMS-IMS-SIAM Jt.公司。1987年科罗拉多州博尔德市夏季研究会议。数学。第92、109-135页（1989年）。MSC公司：第68季度55 60年第68季度 18立方厘米 18A10号 PDF格式BibTeX公司 XML格式
阿尔瓦雷兹·吉尔，R。；阿拉巴马州马凯。 并行编程结构和属性语法。 （英语） 兹比尔0688.68070 《网络学报》。 9，第2期，133-141（1989）. 审核人：F.L.认罪 MSC公司：65年第68季度 第68季度55 60年第68季度 68号01 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.Alvarez Gil}和\textit{阿尔瓦雷斯·吉尔}，《网络学报》。9，第2号，133--141（1989；Zbl 0688.68070）
马提亚斯·费莱森；丹尼尔·弗里德曼。 序列状态的句法理论。 （英语） Zbl 0688.68014号 西奥。计算。科学。 69，第3期，243-287（1989）. 审核人：F.L.认罪 MSC公司：68号01 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Felleisen}和\textit{D.P.Friedman}，Theor。计算。科学。69，第3号，243--287（1989；Zbl 0688.68014） 全文： 内政部
可口、蒂埃里 嵌入件的类别。 （英语） Zbl 0688.18004号 西奥。计算。科学。 68，第3期，221-237（1989）. 审核人：S.V.索洛夫 MSC公司：18日第15天 60年第68季度 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}，Theor（泰奥）。计算。科学。68，第3221-237号（1989年；兹bl 0688.18004） 全文： 内政部
Nait Abdallah，医学硕士。 知识模型理论的逻辑代数方法。 （英语） Zbl 0687.68047号 西奥。计算。科学。 66，第2205-232号（1989年）.MSC公司：68T99型 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Nait Abdallah}，西奥。计算。科学。66，编号2205-232（1989；兹bl 0687.68047） 全文： 内政部
Jean-Marc，凯里西特 逻辑编程的关系方法：扩展的亚历山大方法。 （英语） Zbl 0687.68003号 西奥。计算。科学。 69，第1号，55-68（1989）.MSC公司：60年第68季度 68号01 68N99型 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{J.-M.Kerisit}，Theor。计算。科学。69，编号1，55--68（1989；Zbl 0687.68003） 全文： 内政部
舒马赫，G。 勒森·尼赫特利亚雷尔·格莱春根（Lösung nichtlinearer Gleichungen mit Verifikation des Ergebnisses）。（非线性方程的求解和结果验证）。 （德语） Zbl 0687.65053号 Wissenschaftliches Rechnen mit Ergebnis验证，数学。第58号决议、第137-154号决议（1989年）。 审核人：G.迈耶 MSC公司：65H10型 65G30型 PDF格式BibTeX公司 XML格式
卡图西亚帕拉米德斯 基于逻辑的Horn子句语言的声明语义。 （英语） Zbl 0687.03014号 CWI问题。 2，第4号，331-344（1989）. 审核人：P.G.霍尔班 MSC公司：03B70号 03B20型 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Palamidessi}，CWI Q.2，第4期，331--344（1989；Zbl 0687.03014）
拉马努贾姆，R。 分布式定子句程序的语义。 （英语） Zbl 0686.68016号 西奥。计算。科学。 68，第2期，203-220（1989）.MSC公司：60年第68季度 68号01 68T99型 PDF格式BibTeX公司 XML格式引用 \文本{R.Ramanujam}，Theor。计算。科学。68，No.2，203--220（1989；Zbl 0686.68016） 全文： 内政部
阿米尔·普努利；罗尼·罗斯纳 关于异步反应模块的综合。 （英语） Zbl 0686.68015号 自动化、语言和编程、Proc。第16国际学院，斯特雷萨/意大利1989年，法律。票据计算。科学。372, 652-671 (1989).MSC公司：60年第68季度 第68页第25页 03B45 65年第68季度 PDF格式BibTeX公司 XML格式
阿尔贝托·佩特罗西；安德烈·斯科伦 用于程序派生的lambda抽象策略。 （英语） Zbl 0686.68014号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 第12期，第4期，第541-561页（1989年）. 审核人：D.鞑靼人 MSC公司：60年第68季度 68号01 68瓦30 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{A.Skowron}，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.12，No.4，541--561（1989；Zbl 0686.68014）
Efim B.金伯。 从样本计算中归纳出递归函数的程序综合。 （英语） Zbl 0686.68013号 J.信息处理。赛博。 25，编号8-9，435-456（1989）. 审核人：D.鞑靼人 MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Kinber}，J.Inf.过程。赛博。25，编号8--9，435--456（1989；Zbl 0686.68013）
库塞尔，B。 一元二阶逻辑中方程图的可定义性。 （英语） Zbl 0686.68011号 自动化、语言和编程、Proc。第16国际学院，斯特雷萨/意大利1989年，法律。票据计算。科学。372, 207-221 (1989).MSC公司：60年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式
科拉多·伯姆 抑制自我应用。 （英语） Zbl 0686.68010号 自动化、语言和编程、Proc。第16届国际学术讨论会，意大利斯特雷萨，1989年，勒克特。票据计算。科学。372, 108-122 (1989).MSC公司：60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式
霍华德·布莱尔。；苏布拉曼尼亚，V.S。 准一致逻辑编程。 （英语） Zbl 0686.68009号 西奥。计算。科学。 68，第2期，135-154（1989）.MSC公司：60年第68季度 68号01 第68季度55 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{H.A.Blair}和\textit{V.S.Subrahmanian}，Theor。计算。科学。68，No.2，135--154（1989；Zbl 0686.68009） 全文： 内政部
阿布鲁西，V.米歇尔；吉安弗兰科·马斯卡里 递归逻辑。 （英语） Zbl 0686.03020号 Inf.计算。 81，No.2，168-226（1989）. 审核人：G.薄荷 MSC公司：03D75号 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Abrusci}和\textit{G.Mascari}，Inf.Compute。81，No.2，168--226（1989；Zbl 0686.03020） 全文： 内政部
宋方明 无界非确定性程序的逻辑。 （中文。英文摘要） Zbl 0686.03014号 南京大学数学系。Biq公司。 6，第1期，24-30（1989）.MSC公司：03B70号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit｛F.Song｝，南京大学数学系J。清单。6，编号1，24--30（1989；Zbl 0686.03014）