阿明·哈肯 难以解决的问题。 （俄语。英文原件） 兹比尔0797.03010 基伯恩。Sb.，11月序列号。 28, 179-194 (1991); Theor的翻译。计算。科学。39, 297-308 (1985).MSC公司：03立方厘米35 2015年3月1日 20层03 03B05号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Haken}，Kibern（基伯恩）。Sb.，11月系列。28179--194（1985；Zbl 0797.03010）；Theor的翻译。计算。科学。39, 297--308 (1985)
库兹涅佐夫，O.P。;阿德尔·桑·维尔斯基，G.M。 工程师离散数学。 （英语） Zbl 0788.0004号 计算机数学专题. 2. 宾夕法尼亚州费城：Gordon和Breach科学出版社。xiv，410页（1985）。 审核人：H.Alt（柏林） MSC公司：00A06号 00-01 2005年第68季度 03B05号 05年3月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit｛O.P.Kuznetsov｝和\textit｛G.M.Adel'son-Vel'skii｝，工程师的离散数学。宾夕法尼亚州费城：Gordon和Breach科学出版社（1985；Zbl 0788.0004）
科瓦利克，J.S。（编辑） 并行MIMD计算：HEP超级计算机及其应用。 （英语） Zbl 0639.65001号 麻省理工学院科学计算新闻系列。马萨诸塞州剑桥-伦敦：麻省理工学院出版社。十七、 411页（TUB，FB Inf.：8 Qm 5179）（1985年）。MSC公司：65-06 68-06 00亿Bxx PDF格式BibTeX公司 XML格式
Takumi Kasai（编辑） 计算机科学及其应用的数学基础。1985年1月30日至2月1日在京都大学数学科学研究所举行的研讨会记录。 （日语） Zbl 0638.68005号 RIMS Kokyuroku公司, 556. 京都：京都大学，数学科学研究所。四、 326页（1985年）。MSC公司：68-06 00B25型 03-06 PDF格式BibTeX公司 XML格式
B.Jaulin。 Complexitéet算法。（信息公开）。 （法语） Zbl 0627.03021号 牛市。社会数学。贝尔格。，Sér。A类 37, 3-9 (1985).MSC公司：2015年3月1日 65年第68季度 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jaulin}，公牛。社会数学。贝尔格。，Sér。A 37，3--9（1985；Zbl 0627.03021）
Emel'yanov，N.R。 关于多值逻辑中可表达性问题的复杂性。 （英语。俄文原件） 兹比尔0618.03006 苏联。数学。，多克。 31, 477-481 (1985); Dokl翻译。阿卡德。Nauk SSSR 282，525-529（1985）。 审核人：A.胡格威 MSC公司：03B50号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{N.R.Emel'yanov}，Sov（苏联）。数学。，多克。31477--481（1985；Zbl 0618.03006）；Dokl翻译。阿卡德。Nauk SSSR 282、525--529（1985）
查格罗夫。 论命题逻辑的复杂性。 （俄语） Zbl 0615.03023号 数学逻辑的复杂性问题，收集。科学。Works，加里宁1985，80-90（1985）。 审核人：S.D.拉托 MSC公司：2015年3月1日 03B55号 03B45号 PDF格式BibTeX公司 XML格式
罗宾·米尔纳 通信系统微积分讲座。 （英语） Zbl 0609.68020号 并发，Semin。宾夕法尼亚州匹兹堡，1984年，Lect。注释计算。科学。197, 197-220 (1985). 审核人：M.K等人 MSC公司：68N25号 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式
Phokion G.科莱蒂斯。 归纳查询的渐近概率及其决策问题。 （英语） Zbl 0608.68078号 程序逻辑，程序。Conf.，布鲁克林/纽约，1985年，Lect。注释计算。科学。193, 153-166 (1985).MSC公司：68第20页 03C13号机组 03B48号 60平方英尺 03C68号 2015年3月1日 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
安德烈亚斯·布拉斯;尤里·古里维奇;德克斯特·科赞 带定点运算符的逻辑零定律。 （英语） Zbl 0608.68077号 Inf.控制 67, 70-90 (1985).MSC公司：68第20页 60层20 03C13号机组 03B48号 60B10型 03C68号 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}等人，Inf.Control 67，70--90（1985；Zbl 0608.68077） 全文： DOI程序
吉安弗兰科·马斯卡里;玛丽莎·文丘里尼·齐利 具有非确定性赋值和逻辑ALNA的While-programs。 （英语） Zbl 0603.68032号 西奥。计算。科学。 40, 211-235 (1985).MSC公司：68问题65 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mascari}和\textit{M.Venturini Zilli}，Theor。计算。科学。40、211——235（1985年；Zbl 0603.68032） 全文： DOI程序
M.R.Tetraushvili。 给定生成元数的交换群理论的计算复杂性。 （俄语。英文摘要） Zbl 0602.03007号 数理逻辑和算法理论研究，Work Collect。，第比利斯1985，75-81（1985）。MSC公司：2015年3月1日 03日第10天 2010年1月20日 20K99美元 PDF格式BibTeX公司 XML格式
伊贡博格尔 罗丁，迪特（编辑） Berechenbarkeit、Komplexität、Logik。Eine Einführung在Algorithmen，Sprachen und Kalküle unter besonder Berücksichtigung ihrer Komplexität。小时。冯·迪特尔·罗丁。 （德语） Zbl 0593.03001号 布伦瑞克-威斯巴登：弗里德。维埃格·桑恩（Vieweg&Sohn）。XVII、 469 S.DM 64.00（1985年）。 审核人：潘丁迪乌 MSC公司：03-01 03-02 03年月日 2015年3月1日 03B10号机组 68瓦99 05年3月 05年3月 03D55号 03D20日 03日30分 03天35分 65年第68季度 PDF格式BibTeX公司 XML格式
G·库西诺。;居里，P.-L。;M·莫尼。 分类抽象机。 （英语） Zbl 0592.68045号 函数编程语言和计算机体系结构，第二届Conf.，Nancy/France 1985，Lect。注释计算。科学。201, 50-64 (1985). 审核人：M.Eytan先生 MSC公司：2005年第68季度 03B40型 18日第15天 68号01 68问题65 PDF格式BibTeX公司 XML格式
佐藤真彦 符号表达理论。二、。 （英语） Zbl 0592.68034号 出版物。Res.Inst.数学。科学。 21, 455-540 (1985). 审核人：J.兹拉图斯卡 MSC公司：68问题65 68瓦30 03楼50 03楼55 03立方厘米35 68吨15 PDF格式BibTeX公司 XML格式引用 \文本｛M.Sato｝，Publ。Res.Inst.数学。科学。21455--540（1985年；Zbl 0592.68034） 全文： DOI程序
克劳斯·马德勒;弗里德里希·奥托 有限表示幺半群和群的字问题的伪自然算法。 （英语） Zbl 0591.20038号 J.塞姆。计算。 1，第4期，383-418（1985）. 审核人：V.A.罗曼科夫 MSC公司：2010年1月20日 2005年5月20日 20F05型 65年第68季度 03D40号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{K.Madlener}和\textit{F.Otto}，J.Symb。计算。1383--418（1985；Zbl 0591.20038） 全文： DOI程序
多曼斯基，B。;M.安塞尔。 Dehn算法解决分组单词问题的复杂性。 （英语） Zbl 0591.20037号 J.算法 6, 543-549 (1985). 审核人：L.A.博库特 MSC公司：2010年1月20日 2015年3月1日 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{B.Domanski}和\textit{M.Anshel}，J.算法6，543--549（1985；Zbl 0591.20037） 全文： DOI程序
海因茨，乔斯 代数闭域中的可定义性和快速量词消除。 （俄语） Zbl 0589.03010号 基伯恩。Sb.，11月序列号。 22, 113-158 (1985).MSC公司：03C10号机组 2015年3月1日 12升12 03C60型 13升05 14A25型 PDF格式BibTeX公司 XML格式引用 \文本｛J.Heintz｝，Kibern。Sb.，11月系列。22113-158（1985年；兹bl 0589.03010）
克里斯托夫·梅内尔 同步系统的功能描述。 （英语） Zbl 0587.68048号 元胞自动机和阵列的并行处理。第二届国际研讨会，柏林/德国。1984年，数学。192-201年第25号决议（1985年）。MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式
布鲁诺·斯卡佩里尼 二阶公式长度的下限结果。 （英语） Zbl 0586.03029号 Ann.纯粹应用。逻辑 29, 29-58 (1985).MSC公司：2015年3月1日 03立方厘米85 03B15号机组 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{B.Scarpellini}，Ann.《纯粹的应用》。逻辑29，29--58（1985；Zbl 0586.03029） 全文： DOI程序
阿明·哈肯 难以解决的问题。 （英语） Zbl 0586.03010号 西奥。计算。科学。 39, 297-308 (1985). 审核人：A.莱奇 MSC公司：03立方厘米35 2015年3月1日 20层03 03B05号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Haken}，Theor。计算。科学。39297--308（1985；Zbl 0586.03010） 全文： DOI程序
米什拉，B。;E.克拉克。 使用时序逻辑对异步电路进行分级验证。 （英语） Zbl 0584.94022号 西奥。计算。科学。 38, 269-291 (1985). 审核人：利沃夫斯基 MSC公司：94立方厘米 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{B.Mishra}和\textit{E.Clarke}，Theor。计算。科学。38、269--291（1985；Zbl 0584.94022） 全文： DOI程序
马修·轩尼诗;科林·斯特林 未来的力量完善了程序逻辑。 （英语） Zbl 0582.68010号 Inf.控制 67, 23-52 (1985).MSC公司：68问题65 03B45号 60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{C.Stirling}，Inf.Control 67，23-52（1985；Zbl 0582.68010） 全文： DOI程序
海因里希·赫斯曼 条件方程理论的统一。 （英语） Zbl 0581.68064号 计算机代数，EUROCAL’85，Proc。Eur.Conf.，林茨/奥地利1985年，第2卷，法律。注释计算。科学。204, 543-553 (1985).MSC公司：68吨15 68瓦30 68号01 PDF格式BibTeX公司 XML格式
阿卜杜利拉·坎德里·罗迪;迪帕克·卡普尔;巴利亚特·纳伦德兰 有限存在交换代数上的词问题和统一问题的理想理论方法。 （英语） 兹伯利0581.68039 重写技术和应用，第一届国际会议，第戎/法国1985年，Lect。注释计算。科学。202, 345-364 (1985).MSC公司：68瓦30 03D40号 13层20 13E15号 13升05 PDF格式BibTeX公司 XML格式
雷蒙德·特纳 名词化和斯科特域。二、。 （英语） Zbl 0581.03020号 圣母院J.形式逻辑 26, 463-478 (1985).MSC公司：03B65型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Turner}，圣母院J.形式逻辑26，463--478（1985；Zbl 0581.03020） 全文： DOI程序
艾蒂安·格兰让 随机存取机器的通用量词和时间复杂性。 （英语） Zbl 0578.03022号 数学。系统。理论 18, 171-187 (1985). 审核人：M.Teruashvili先生 MSC公司：2015年3月1日 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Grandjean}，数学。系统。理论18，171--187（1985；Zbl 0578.03022） 全文： DOI程序
西斯特拉·A·普拉萨德;莫舍·瓦尔迪。;皮埃尔·沃尔珀 Büchi自动机的互补问题及其在时序逻辑中的应用。 （英语） Zbl 0577.03019号 《自动化、语言和编程》，第12届Colloq.，Nafplion/希腊1985年，Lect。注释计算。科学。194, 465-474 (1985). 审核人：A.克雷茨马尔 MSC公司：05年3月 03B25号 68问题65 2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式
奥斯卡·H·伊巴拉。;金，山姆·M。;Shlomo莫兰 格架和细胞自动机的顺序机器特征及其应用。 （英语） Zbl 0574.68044号 SIAM J.计算。 14, 426-447 (1985). 审核人：陶仁济 MSC公司：68问题80 2005年第68季度 65年第68季度 65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人，SIAM J.Compute。14、426--447（1985；Zbl 0574.68044） 全文： DOI程序
阿尔托萨洛马 计算和自动机。 （英语） Zbl 0565.68046号 数学百科全书及其应用，第25卷。剑桥等：剑桥大学出版社。十三、 282页£25.00；$39.50 (1985). 审核人：M.Jantzen先生 MSC公司：2005年第68季度 03年月日 65年第68季度 第68季度第42季度 65年第68季度 94A60型 03-00 03-01 68-00 68-01 PDF格式BibTeX公司 XML格式
艾默生·E·艾伦;约瑟夫·霍尔珀（Joseph Y.Halpern）。 分支时间的时序逻辑中的决策过程和表达能力。 （英语） Zbl 0559.68051号 J.计算。系统。科学。 30, 1-24 (1985). 审核人：H.西村 MSC公司：68问题65 03B45号 03B25号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{J.Y.Halpern}，J.Compute。系统。科学。30，1--24（1985；Zbl 0559.68051） 全文： DOI程序
大卫·哈雷尔 反复出现的多米诺骨牌：让高度不可决定的事情变得高度可理解。 （英语） Zbl 0531.68003号 计算理论专题。巴普。国际会议，博格霍姆/瑞典。1983年，《离散数学》。24, 51-72 (1985).MSC公司：68问题65 03天35分 05B45号 2015年3月1日 52C17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}，Ann.离散数学。24、51-72（1985年；Zbl 0531.68003） 全文： DOI程序