霍华德·布莱尔。;苏布拉曼尼亚，V.S。 逻辑编程的准一致基础。 （英语） Zbl 0689.03012号 J.非经典逻辑5，No.2，45-73（1988）。MSC公司：03B60号 第68页第15页 60年第68季度 PDF格式BibTeX公司 XML格式
安德烈亚·马吉奥洛·谢蒂尼;那不勒斯，玛格丽塔;热那维亚托托拉 Web结构：表示和操作程序的工具。 （英语） Zbl 0677.68008号 IEEE传输。柔和。工程师。 14，第11期，1621-1639（1988）. 审核人：B.齐默尔曼 MSC公司：60年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggiolo-Schettini}等人，IEEE Trans。柔和。工程14，编号11，1621-1639（1988年；Zbl 0677.68008） 全文： 内政部
布鲁诺·库塞尔 使用无上下文图文法分析递归定义。 （英语） Zbl 0675.68042号 未来一代计算机编程II，Proc。第二届法裔日本人。交响乐团。，戛纳/Fr.1987，83-122（1988）。 审核人：H.卢锡安 MSC公司：65年第68季度 68兰特 第68页第20页 60年第68季度 PDF格式BibTeX公司 XML格式
阿斯特里德·基恩 无限部分Petri网语言及其与其他Petri网语义的关系。 （英语） Zbl 0671.68028号 Petri网进展，APN，Proc。第八届欧洲研讨会，萨拉戈萨/西班牙，1987年，勒克特。注释计算。科学。340, 227-248 (1988). 审核人：L.斯泰格 MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
普里塞·卢茨 公平。 （英语） Zbl 0669.68010号 牛市。EATCS公司 35, 171-180 (1988). 审核人：J.R.公正 MSC公司：68N99型 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Priese}，公牛。EATCS 35、171--180（1988；Zbl 0669.68010）
Boian、Florian Mircea 两种语言之间的双向翻译。 （罗马尼亚语。英文摘要） Zbl 0667.68022号 语言，逻辑，数学语言，巴普。第10届国家。Colloq.，布拉索夫/罗马，1988年，25-33年（1988年）。MSC公司：60年第68季度 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式
Staskauskas，Mark G。 分布式电子资金转账系统的形式化规范和设计。 （英语） Zbl 0663.68030号 IEEE传输。计算。 37，第12期，1515-1528（1988）.MSC公司：68N25号 68第05页 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Staskauskas}，IEEE Trans。计算。37，第12号，1515--1528（1988；Zbl 0663.68030） 全文： 内政部
彼得·利普斯;乌尔里希·蒙克;马提亚斯·奥尔克;莱因哈德·威廉 OPTRAN中的属性（重新）评估。 （英语） Zbl 0662.68082号 学报信息。 26，第3期，213-239（1988）.MSC公司：68N20型 68第05页 60年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Lipps}et al.，Acta Inf.26，No.3，213--239（1988；Zbl 0662.68082） 全文： 内政部
呃，M.C。 非确定性机器和健壮程序最薄弱的自由前提。 （英语） Zbl 0662.68055号 J.信息优化。科学。 9，第3期，415-420（1988年）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Er}，J.Inf.Optim（信息优化）。科学。9，第3号，415--420（1988；Zbl 0662.68055） 全文： 内政部
山田，新一 随机计算的数学理论。二、。 （英语） Zbl 0662.68054号 程序。日本科学院。，序列号。A类 64，第5期，155-158（1988）. 审核人：I.S.莫尔恰诺夫 MSC公司：65年第68季度 46 B42 60B99型 03D99号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Yamada}，程序。日本科学院。，序列号。A 64，No.5，155--158（1988；Zbl 0662.68054） 全文： 内政部
G.贝里。;库隆内，P。;戈蒂尔，G。 无功系统的同步编程：ESTREL简介。 （英语） Zbl 0662.68028号 未来一代计算机编程。Fr.1日-日本。交响乐团。，东京/日本。1986, 35-56 (1988). 审核人：H.卢锡安 MSC公司：68N25号 65年第68季度 60年第68季度 68问题55 68问题65 PDF格式BibTeX公司 XML格式
彼得伦科，A.F。 用上下文敏感自动机表示协议实现。 （英语。俄文原件） Zbl 0661.68058号 自动。控制计算。科学。 22，3号，7-11（1988）；来自Avtom的翻译。维奇尔。泰克。1988年，第3期，11-16（1988）。MSC公司：65年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Petrenko}，汽车。控制计算。科学。22，第3、7--11号（1988；Zbl 0661.68058）；Avtom翻译。维奇尔。泰克。1988年，第3期，第11--16期（1988年）
金伯，E.B。 从示例计算中归纳程序的语法合成。 （英语） Zbl 0659.68050号 计算机科学数学基础。第十三交响曲。，卡尔斯巴德/捷克。1988年，Lect。注释计算。科学。324, 73-84 (1988). 审核人：A.克雷茨马尔 MSC公司：68问题65 68T05型 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
路易斯·罗西尔（Louis E.Rosier）。;Yen、Hsu-Chun 概率并发有限状态程序公平终止判定的复杂性。 （英语） Zbl 0658.68054号 西奥。计算。科学。 58，编号1-3，263-324（1988）. 审核人：W.齐埃隆卡 MSC公司：65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.E.Rosier}和\textit{H.C.Yen}，Theor。计算。科学。58，编号1--3，263--324（1988；Zbl 0658.68054） 全文： 内政部
山田，新一 随机计算的数学理论。一、。 （英语） Zbl 0657.68061号 程序。日本科学院。，序列号。A类 64，第4期，第115-118页（1988年）. 审核人：I.莫尔恰诺夫 MSC公司：65年第68季度 03D99号 46 B42 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Yamada}，程序。日本科学院。，序列号。A 64，No.4，115--118（1988；Zbl 0657.68061） 全文： 内政部
鲁，齐;钱嘉华 用于增量属性评估的新的高效算法的设计、证明和分析。 （英语） Zbl 0656.68026号 计算机科学数学基础。第十三交响曲。，卡尔斯巴德/捷克。1988年，Lect。注释计算。科学。324, 483-491 (1988). 审核人：E.克努思 MSC公司：60年第68季度 68问题55 65年第68季度 68N25号 PDF格式BibTeX公司 XML格式
帕南加登，普拉卡什;尤金·斯塔克。 计算、残差和不确定性的力量。 （英语） Zbl 0649.68019号 自动化、语言和编程、Proc。第15国际学院，坦佩雷/芬兰。1988年，Lect。注释计算。科学。317, 439-454 (1988).MSC公司：68N25号 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
帕特里克·贝洛;贾米尔·萨尼 函数编程概念的自然形式化建议。 （英语） Zbl 0648.68041号 RAIRO，Inf.Théor公司。申请。 22，第3期，341-360（1988）.MSC公司：68问题65 60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bellot}和\textit{D.Sarni}，RAIRO，通知。塞奥尔。申请。22，第3号，341--360（1988；Zbl 0648.68041） 全文： 内政部 欧洲DML
哈巴桑斯基，Z。 常规自动机和模型检查。 （英语） Zbl 0647.68024号 代数和编程程序中的树。第13届CAAP Colloq.，Nancy/France 1988，Lect。注释计算。科学。299, 231-243 (1988).MSC公司：68N25号 05年3月 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式
E.Pascal格里博蒙特 证明收缩阵列。 （英语） Zbl 0647.68015号 代数和编程树，Proc。第13届CAAP Colloq.，Nancy/France 1988，Lect。注释计算。科学。299, 185-199 (1988).MSC公司：60年第68季度 68问题80 2005年第68季度 68N25号 65年第68季度 PDF格式BibTeX公司 XML格式
多伊纳·塔尔 在程序研究中使用与递归方案有关的语法。 （罗马尼亚语。英文摘要） Zbl 0647.68013号 螺柱Cercet。材料。 40，第4期，339-347（1988）.MSC公司：60年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛D.Tătar｝，双头螺栓。材料40，编号4，339--347（1988；Zbl 0647.68013）
伊雷纳游击队;尼尔·迪内丹，瓦法阿 SCCS中公平性的自动机特征。 （英语） Zbl 0644.68036号 STACS 88，计算机科学的理论方面，Proc。第5年。交响乐团。，波尔多/法国1988年，Lect。注释计算。科学。294, 356-372 (1988).MSC公司：68N25号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式
米歇尔·比特 程序和数据结构的“划分”转换以及结构冲突问题。 （英语） Zbl 0644.68028号 科学。计算。程序。 10，第3期，247-280（1988）.MSC公司：60年第68季度 68第05页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Michel}，科学。计算。程序。10，第3247-280号（1988年；兹bl 0644.68028） 全文： 内政部
约斯特·恩格尔弗里特;福格勒、海科 高级树传感器和迭代下推树传感器。 （英语） Zbl 0633.68073号 学报信息。 26，No.1-2，131-192（1988）. 审核人：H.福格勒 MSC公司：65年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{H.Vogler}，《学报》第26期，第1--2131-192号（1988；Zbl 0633.68073） 全文： 内政部
R.Geoff，Dromey 系统程序开发。 （英语） Zbl 0632.68014号 IEEE传输。柔和。工程师。 第14期，第1期，第12-29页（1988年）.MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Dromey}，IEEE Trans。柔和。工程14，编号01，12--29（1988；Zbl 0632.68014） 全文： 内政部
乌尔里希·马恩 Attributierte Grammatiken和Attributierungsalgorithmen。（属性文法和属性算法）。 （德语） 兹比尔0637.68033 信息-Fachberichte, 157. 柏林等：施普林格出版社。九、 272 S。；DM 42.00（1988）。 审核人：H.J.施耐德 MSC公司：68问题65 68N20型 65年第68季度 68-02 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Mahn}，Attributierte Grammatiken和Attributierungsalgorithmen。（属性文法和属性算法）。柏林等：施普林格出版社（1988年；Zbl 0637.68033）
大卫·迈尔;大卫·沃伦。 用逻辑计算。使用Prolog进行逻辑编程。 （英语） Zbl 0637.68005号 加利福尼亚州门洛帕克等：本杰明/卡明斯出版公司XXI，535 p.（1988）。 审核人：E.梅利斯 MSC公司：68-01 68号01 第68页第15页 60年第68季度 03B35型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Maier}和\textit{D.S.Warren}，逻辑计算。使用Prolog进行逻辑编程。加利福尼亚州门洛帕克等：本杰明/卡明斯出版公司（1988；Zbl 0637.68005）