伊扎克·吉尔博;Dov萨梅特 有限理性与无限理性：弱者的暴政。 （英语） Zbl 0753.90090号 游戏经济。行为。 1，第3期，213-221（1989）.MSC公司：91A20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Gilboa}和\textit{D.Samet}，游戏经济。行为。1，编号3213-221（1989；兹bl 0753.90090） 全文： 内政部
马蒂诺夫，S.S。 关于一些单词编辑问题的复杂性。 （俄语） Zbl 0796.68115号 Diskretn公司。材料。 第1期，第4期，第104-112页（1989年）.MSC公司：65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Martynov}，Diskretn（迪斯克雷顿）。材料1，编号4，104--112（1989；Zbl 0796.68115）
亚·卡内普。是的。 双向有限概率自动机可接受的语言的严格性。 （英语。俄文原件） Zbl 0796.68157号 离散数学。申请。 1，第4期，405-421（1991）; 从Diskretn翻译。材料1，第4号，63-77（1989年）。MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛Ya.Ya.Kanep｝，离散数学。申请。1，第4号，405--421（1989；Zbl 0796.68157）；从Diskretn翻译。材料1，编号4，63--77（1989） 全文： 内政部
佩雷特鲁金，V.V。 用计算机模拟和分解自动机。 （俄语） Zbl 0796.68154号 Diskretn公司。材料。 1，第4号，26-35（1989）.MSC公司：70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Peretrukhin}，Diskretn。材料1，编号4，26-35（1989；Zbl 0796.68154）
阮当祖 单字母字母表中广义正则表达式的有限自动化复杂性的上限估计。 （俄语） Zbl 0796.68094号 Diskretn公司。材料。 第1期，第4期，第12-16页（1989年）.MSC公司：2015年第68季度 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Dang Zuj Ruan}，Diskretn。材料1，编号4，12--16（1989；Zbl 0796.68094）
莫罗琴科，V.V。 关于两个排序问题的自校正算法的复杂性。 （俄语） 兹比尔0796.68066 Diskretn公司。材料。 第1期，第3期，第111-120页（1989年）.MSC公司：68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Morozenko}，Diskretn。材料1，编号3，111--120（1989；Zbl 0796.68066）
库德里亚夫采夫。;Podkolzin，A.S。 均质结构理论的主要流派。 （英语。俄文原件） Zbl 0796.68147号 离散数学。申请。 1，第3号，229-250（1991）; 从Diskretn翻译。材料1，第3号，19-38（1989年）。MSC公司：65年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{V.B.Kudryavtsev}和\textit{A.S.Podkolzin}，离散数学。申请。1，第3号，229--250（1989；Zbl 0796.68147）；从Diskretn翻译。材料1，编号3，19--38（1989） 全文： 内政部
阿尼西莫夫。 递归信息转换器。 （俄语） Zbl 0796.68114号 Diskretn公司。材料。 第1期，第3期，第3-18页（1989年）.MSC公司：65年第68季度 03天80 68号01 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Anisimov}，Diskretn。材料1，编号3，3--18（1989；Zbl 0796.68114）
博戈莫洛夫，S.A。 通过实验重建时序机器。 （英语。俄文原件） Zbl 0796.68146号 离散数学。申请。 第1期，第2期，117-128（1991年）; 从Diskretn翻译。材料1，第1号，135-146（1989）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Bogomolov}，离散数学。申请。1，No.2，117--128（1989；Zbl 0796.68146）；从Diskretn翻译。材料1，编号1，135--146（1989） 全文： 内政部
奥洛夫，V.A。 自动机基中方案概率特性的确定。 （俄语） Zbl 0796.68155号 Diskretn公司。材料。 第1号，第29-31页（1989年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Orlov}，Diskretn。材料1，编号1，29--31（1989；Zbl 0796.68155）
Zhil’tsova，L.P。 无上下文语言最优字母编码问题的算法复杂性。 （俄语） Zbl 0796.68128号 Diskretn公司。材料。 第1期，第2期，第38-51页（1989年）.MSC公司：65年第68季度 68问题30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛L.P.Zhil'tsova｝，磁盘。材料1，编号2，38--51（1989；Zbl 0796.68128）
露丝·E·戴维斯。 真理、演绎和计算。计算机科学的逻辑和语义。 （英语） Zbl 0823.68060号 纽约州纽约市：计算机科学出版社。xv，第265页（1989年）。MSC公司：68问题55 68-01 03B70号 93B20型 65年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Davis}，真理、演绎和计算。计算机科学的逻辑和语义。纽约州纽约市：计算机科学出版社（1989；Zbl 0823.68060）
克莱因，罗尔夫 莫斯科公制的Voronoi图（扩展摘要）。 （英语） Zbl 07810445号 Van Leeuwen，Jan（编辑），计算机科学中的图论概念。1988年6月15日至17日，荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。344, 434-441 (1989).MSC公司：68单位05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Klein}，莱克特。注释计算。科学。344434-441（1989年；Zbl 07810445） 全文： 内政部
普雷洛夫斯基，W。;蒙贝克，W。 Voronoi图计算的时间最优并行算法。 （英语） Zbl 07810444号 Van Leeuwen，Jan（编辑），计算机科学中的图论概念。1988年6月15日至17日，荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。344, 424-433 (1989).MSC公司：68单位05 65年第68季度 68兰特 68宽10 PDF格式BibTeX公司 XML格式引用 \textit｛W.Preilowski｝和\textit｛W.Mumbeck｝，Lect。注释计算。科学。344424-433（1989年；Zbl 07810444） 全文： 内政部
乌尔里奇·哈肯贝克 搜索树或决策树中几乎需要最坏情况时间的路径。 （英语） Zbl 07810443号 Van Leeuwen，Jan（编辑），计算机科学中的图论概念。1988年6月15日至17日，荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。344, 406-423 (1989).MSC公司：68兰特 05二氧化碳 05C38号 68页第10页 65年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{U.Huckenbeck}，莱克特。注释计算。科学。344406--423（1989年；Zbl 07810443） 全文： 内政部
恩斯特·梅尔（Ernst W.Mayr）。;C.格雷格·普拉克斯顿 关于加权图的生成树。 （英语） Zbl 07810442号 Van Leeuwen，Jan（编辑），计算机科学中的图论概念。1988年6月15日至17日，荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。344, 394-405 (1989).MSC公司：05C22号 05二氧化碳 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Mayr}和\textit{C.G.Plaxton}，莱克特。注释计算。科学。344394-405（1989年；Zbl 07810442） 全文： 内政部
安德烈·林加 贪婪三角剖分可以在一般情况下有效实现（详细摘要）。 （英语） Zbl 07810432号 Van Leeuwen，Jan（编辑），计算机科学中的图论概念。1988年6月15日至17日，荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。344, 253-261 (1989).MSC公司：68单位05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛A.Lingas｝，Lect。注释计算。科学。344253--261（1989；Zbl 07810432） 全文： 内政部
奥托·努尔米;Jörg-R·萨克。 通过一次翻译将多面体从一组障碍物中分离出来（扩展抽象）。 （英语） Zbl 07810428号 Van Leeuwen，Jan（编辑），计算机科学中的图论概念。1988年6月15日至17日，荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。344, 202-212 (1989).MSC公司：68单位05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Nurmi}和\textit{J.-R.Sack}，莱克特。注释计算。科学。344202-212（1989年；兹bl 07810428） 全文： 内政部
马克·德伯格。;马克·奥弗马斯（Mark H.Overmars）。 存在障碍时的主导地位。 （英语） Zbl 07810427号 Van Leeuwen，Jan（编辑），计算机科学中的图论概念。第14届国际研讨会，88年工作组，荷兰阿姆斯特丹，1988年6月15日至17日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。344, 190-201 (1989).MSC公司：68单位05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.T.de Berg}和\textit{M.H.Overmars}，莱克特。注释计算。科学。344190-201（1989年；Zbl 07810427） 全文： 内政部 链接
布鲁诺·库塞尔 图的一元二阶逻辑：有限图的可定义集。 （英语） Zbl 07810418号 Van Leeuwen，Jan（编辑），计算机科学中的图论概念。1988年6月15日至17日，荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。344, 30-53 (1989).MSC公司：03B16号 03B25号 05C75号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}，莱克特。注释计算。科学。344、30--53（1989年；Zbl 07810418） 全文： 内政部
安妮格雷特·哈贝尔 图论性质与图论推导相容。 （英语） Zbl 07810417号 Van Leeuwen，Jan（编辑），计算机科学中的图论概念。1988年6月15日至17日，荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。344, 11-29 (1989).MSC公司：2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Habel}，莱克特。注释计算。科学。344，11-29（1989年；兹bl 07810417） 全文： 内政部
Bodlaender，Hans L。 小树宽图的NC-算法。 （英语） Zbl 07810416号 Van Leeuwen，Jan（编辑），计算机科学中的图论概念。1988年6月15日至17日，荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。344, 1-10 (1989).MSC公司：68兰特 05二氧化碳 05C85号 65年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{H.L.Bodlaender}，莱克特。注释计算。科学。344，1-10（1989；Zbl 07810416） 全文： 内政部 链接
格里戈列夫，D.Yu。 苏联科学院交换部计算的复杂性。 （英语。俄文原件） Zbl 0771.68064号 数学。笔记 46，No.1，563-568（1989）; 翻译自Mat.Zametki 46，No.1，96-104（1989）。MSC公司：65年第68季度 第13页 PDF格式BibTeX公司 XML格式引用 \textit{D.Yu.Grigor’ev}，数学。注释46，编号1，563--568（1989；Zbl 0771.68064）；翻译自Mat.Zametki 46，No.1，96--104（1989） 全文： 内政部
J.-C.里塞特。 电脑、音乐和声音模型。 （英语） Zbl 0850.68227号 小波。时频方法和相空间，Proc。国际会议，马赛/Fr.1987，102-123（1989）。MSC公司：68问题30 42立方厘米 94甲12 PDF格式BibTeX公司 XML格式引用 \textit｛J.C.Risset｝，在：Wavelets中。时频方法和相空间。国际会议记录，法国马赛，1987年12月14日至18日。柏林：斯普林格。102-123（1989年；Zbl 0850.68227）
张汉涛;迪帕克·卡普尔 在完井程序中只考虑一般叠加。 （英语） Zbl 1503.68171号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 513-527 (1989).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{D.Kapur}，Lect。注释计算。科学。355、513--527（1989年；Zbl 1503.68171） 全文： 内政部
谢尔盖·沃罗比奥夫。 具有内置算术和归纳法的条件重写规则系统。 （英语） Zbl 1503.68167号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355，492-512（1989年）。MSC公司：2012年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Vorobyov}，莱克特。注释计算。科学。355492-512（1989年；Zbl 1503.68167） 全文： 内政部
富山，吉藤义彦;扬·威廉·克鲁普;亨德里克·彼得·巴伦德雷格特 终止左线性项重写系统的直接和（初稿）。 （英语） Zbl 1503.68161号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 477-491 (1989).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Toyama}等人，Lect。注释计算。科学。355477-491（1989年；Zbl 1503.68161） 全文： 内政部
苏菲·蒂森 地面系统可以决定是否公平终止。 （英语） Zbl 1503.68160号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，美国北卡罗来纳州教堂山，1989年4月3日至5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 462-476 (1989).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tison}，莱克特。注释计算。科学。355462-476（1989年；Zbl 1503.68160） 全文： 内政部
罗伯特·斯特兰德。 编译成高效机器代码的等式程序类。 （英语） Zbl 1508.68077号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 449-461 (1989).MSC公司：68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.I.斯特朗}，莱克特。注释计算。科学。355449-461（1989年；Zbl 1508.68077） 全文： 内政部
约阿希姆·斯坦巴赫 简化顺序的扩展和比较。 （英语） Zbl 1522.68256号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 434-448 (1989).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯坦巴赫}，莱克特。注释计算。科学。355434-448（1989年；Zbl 1522.68256） 全文： 内政部
韦恩·斯奈德 有效的地面完成：一种生成地面重写规则约简集的算法，相当于一组地面方程（E）。 （英语） Zbl 1503.68156号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，美国北卡罗来纳州教堂山，1989年4月3日至5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 419-433 (1989).MSC公司：2012年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.Snyder}，莱克特。注释计算。科学。355419-433（1989年；Zbl 1503.68156） 全文： 内政部
塞卡尔共和国。;肖纳克·巴瓦吉;罗马克里希南，I.V。 使用构造函数转换强顺序重写系统以实现高效的并行执行。 （英语） Zbl 1522.68136号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355404-418（1989）中描述。MSC公司：第68页第19页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.C.Sekar}等人，Lect。注释计算。科学。355404--418（1989年；Zbl 1522.68136） 全文： 内政部
美国雷迪。 程序综合的重写技术。 （英语） Zbl 1503.68048号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 388-403 (1989).MSC公司：68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{美国红}，Lect。注释计算。科学。355388--403（1989年；Zbl 1503.68048） 全文： 内政部
劳伦斯·普埃尔 嵌入模式和相关的递归路径排序。 （英语） 兹比尔1503.68148 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 371-387 (1989).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Puel}，莱克特。注释计算。科学。355371-387（1989年；Zbl 1503.68148） 全文： 内政部
弗里德里希·奥托 有限规范字符串重写系统生成的同余的限制。 （英语） Zbl 1503.68145号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355359-370（1989）中所述。MSC公司：2012年第68季度 03B25号 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto}，莱克特。注释计算。科学。355359-370（1989年；Zbl 1503.68145） 全文： 内政部
托比亚斯·尼普科 组合匹配算法：常规情况。 （英语） Zbl 1503.68315号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 343-358 (1989).MSC公司：68瓦30 03C05号机组 03D40号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow}，莱克特。注释计算。科学。355343-358（1989年；Zbl 1503.68315） 全文： 内政部
桑贾·纳雷恩 通过非确定性、惰性重写进行优化。 （英语） Zbl 1503.68143号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 326-342 (1989).MSC公司：2012年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Narain}，莱克特。注释计算。科学。355326-342（1989年；Zbl 1503.68143） 全文： 内政部
托赫鲁·内伊;稻崎康夫 术语重写系统的代数语义和复杂性。 （英语） Zbl 1503.68142号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，美国北卡罗来纳州教堂山，1989年4月3日至5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 311-325 (1989).MSC公司：2012年第68季度 06B35号 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Naoi}和\textit{Y.Inagaki}，莱克特。注释计算。科学。355311--325（1989年；Zbl 1503.68142） 全文： 内政部
Chilukuri K.莫汉。;曼达扬·K·斯利瓦斯。 条件重写中使用逻辑变量求反。 （英语） Zbl 1503.68140号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 292-310 (1989).MSC公司：2012年第68季度 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.K.Mohan}和\textit{M.K.Srivas}，莱克特。注释计算。科学。355292-310（1989年；Zbl 1503.68140） 全文： 内政部
Chilukuri K.莫汉。 优先级重写：语义、合流和条件语句。 （英语） Zbl 1503.68139号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 278-291 (1989).MSC公司：2012年第68季度 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.K.Mohan}，莱克特。注释计算。科学。355278-291（1989年；Zbl 1503.68139） 全文： 内政部
阿尔特·米德尔多普 与正规形式相关的术语重写系统属性的模块化方面。 （英语） Zbl 1503.68137号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 263-277 (1989).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Middeldorp}，莱克特。注释计算。科学。355263-277（1989年；Zbl 1503.68137） 全文： 内政部
乔治·麦克纳尔蒂。 等式逻辑采样器。 （英语） Zbl 1503.03035号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 234-262 (1989).MSC公司：03C05号机组 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.F.McNulty}，莱克特。注释计算。科学。355234-262（1989年；Zbl 1503.03035） 全文： 内政部
门闩，Dana May;罗恩·西格尔 术语重写系统的局部终止属性。 （英语） Zbl 1503.68129号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 222-233 (1989).MSC公司：2012年第68季度 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.M.闩锁}和\textit{R.Sigal}，Lect。注释计算。科学。355222-233（1989年；Zbl 1503.68129） 全文： 内政部
达拉斯兰克福德 广义Gröbner基：理论和应用。凝结。 （英语） Zbl 1503.68128号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 203-221 (1989).MSC公司：2012年第68季度 65楼03号 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{D.Lankford}，莱克特。注释计算。科学。355203--221（1989年；Zbl 1503.68128） 全文： 内政部
赖，迈克 关于如何“联合和交换”移山。 （英语） Zbl 1519.68111号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 187-202 (1989).MSC公司：2012年第68季度 03B35型 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lai}，莱克特。注释计算。科学。355187-202（1989年；Zbl 1519.68111） 全文： 内政部
圣埃芬·卡普兰;克莉丝汀，杂乱无章 使用具体运算符进行抽象重写。 （英语） Zbl 1503.68122号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 178-186 (1989).MSC公司：2012年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Kaplan}和\textit{C.Choppy}，莱克特。注释计算。科学。355、178至186（1989年；兹bl 1503.68122） 全文： 内政部
迪特尔·霍夫鲍尔;克莱门斯·劳特曼 终止证明和推导长度（初步版本）。 （英语） Zbl 1503.68116号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 167-177 (1989).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Hofbauer}和\textit{C.Lautemann}，莱克特。注释计算。科学。355167--177（1989年；Zbl 1503.68116） 全文： 内政部
赫伯特·戈特勒 图形语法，一种实现可视化语言的新范式。 （英语） Zbl 1503.68111号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 152-166 (1989).MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Göttler}，莱克特。注释计算。科学。355152--166（1989年；Zbl 1503.68111） 全文： 内政部
史蒂芬·加兰德。;约翰·V·古塔格。 落叶松校准器LP概述。 （英语） Zbl 1503.68290号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 137-151 (1989).MSC公司：68伏15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.J.Garland｝和\textit｛J.V.Guttag｝，Lect。注释计算。科学。355137--151（1989年；Zbl 1503.68290） 全文： 内政部
Conal M.埃利奥特。 与相关函数类型的高阶统一。 （英语） Zbl 1503.68289号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 121-136 (1989).MSC公司：68伏15 03B35型 03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。355121-136（1989年；Zbl 1503.68289） 全文： 内政部
道切特，马克斯 用左线重写规则模拟图灵机。 （英语） Zbl 1503.68067号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355、109-120（1989）中所述。MSC公司：04年第68季度 03日第10天 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dauchet}，莱克特。注释计算。科学。355109--120（1989年；Zbl 1503.68067） 全文： 内政部
约翰·达林顿;郭一科 函数编程中的缩小和统一——绝对集抽象的评估机制。 （英语） Zbl 1503.68036号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 92-108 (1989).MSC公司：68甲18 68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Darlington}和\textit{Y.-K.Guo}，Lect。注释计算。科学。35592--108（1989年；Zbl 1503.68036） 全文： 内政部
休伯特·科蒙 通过规范转换进行归纳证明。 （英语） Zbl 1508.68407号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 76-91 (1989).MSC公司：68伏15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon}，莱克特。注释计算。科学。355，76-91（1989年；兹比尔1508.68407） 全文： 内政部
莱因哈德·邦根;沃尔夫冈·库奇林 计算地面还原性和感应完整位置。 （英语） Zbl 1522.68254号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355，59-75（1989年）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bündgen}和\textit{W.Küchlin}，Lect。注释计算。科学。355、59-75（1989年；Zbl 1522.68254） 全文： 内政部
休伯特·伯特林;哈拉尔德·甘辛格 重写时间目标求解的完成时间优化。 （英语） Zbl 1503.68288号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 45-58 (1989).MSC公司：68伏15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bertling}和\textit{H.Ganzinger}，莱克特。注释计算。科学。355、45-58（1989年；Zbl 1503.68288） 全文： 内政部
蒂莫西·贝尔德。;杰拉尔德·彼得森。;拉尔夫·威尔克森。 模结合性、交换性和恒等式的全套约简。 （英语） Zbl 1503.68286号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 29-44 (1989).MSC公司：68伏15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.B.Baird}等人，Lect。注释计算。科学。355、29-44（1989年；Zbl 1503.68286） 全文： 内政部
利奥·巴赫迈尔 证明分辨率和副调制的规范化。 （英语） Zbl 1503.03015号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 15-28 (1989).MSC公司：03B35型 05年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bachmair}，莱克特。注释计算。科学。355、15--28（1989年；Zbl 1503.03015） 全文： 内政部
弗兰兹·巴德 统一类型0的特征。 （英语） Zbl 1503.03012号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 2-14 (1989).MSC公司：03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}，莱克特。注释计算。科学。355、2--14（1989年；Zbl 1503.03012） 全文： 内政部
马丁·奥列特，纳西索;何塞·梅塞盖尔 从Petri网到线性逻辑。 （英语） Zbl 1493.68250号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 313-340 (1989).MSC公司：68问题85 03楼52 18B20型 18米45 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}和\textit{J.Meseguer}，莱克特。注释计算。科学。389313-340（1989年；Zbl 1493.68250） 全文： 内政部
鲍尔，A.J。 重写系统的抽象公式。 （英语） Zbl 1493.68178号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 300-312 (1989).MSC公司：2012年第68季度 18N10型 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Power}，莱克特。注释计算。科学。389300--312（1989年；Zbl 1493.68178） 全文： 内政部
弗兰兹·巴德 交换理论的统一性：一种分类处理。 （英语） Zbl 1496.03036号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 273-299 (1989).MSC公司：03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}，莱克特。注释计算。科学。389273-299（1989年；Zbl 1496.03036） 全文： 内政部
安德烈·菲林斯基 声明性延续：对编程语言语义的二重性的研究。 （英语） 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） 全文： 内政部
保罗·泰勒 数量域、群胚和线性逻辑。 （英语） Zbl 1493.18015号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 155-181 (1989).MSC公司：18米45 68问题55 03B40型 03B70号 03G30型 18个40 PDF格式BibTeX公司 XML格式引用 \textit{P.Taylor}，莱克特。注释计算。科学。389、155——181（1989年；兹bl 1493.18015） 全文： 内政部
肯特·彼得森;丹·辛克 马丁·洛夫类型理论中归纳集的集合构造器。 （英语） 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） 全文： 内政部
幽灵，G.C。 关于分类数据类型的注释。 （英语） Zbl 1493.68232号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 118-127 (1989).MSC公司：68问题65 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.C.幽灵}，莱克特。注释计算。科学。389118-127（1989年；Zbl 1493.68232） 全文： 内政部
卢卡·卡德利;约翰·米切尔（John C.Mitchell）。 对记录的操作（扩展摘要）。 （英语） Zbl 1493.68082号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 75-81 (1989).MSC公司：第68页第19页 03B70号 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{J.C.Mitchell}，莱克特。注释计算。科学。389、75-81（1989年；Zbl 1493.68082） 全文： 内政部
尤金·斯塔克。 不确定数据流网络的组合关系语义。 （英语） Zbl 1493.68199号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 52-74 (1989).MSC公司：68问题55 18B20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Stark}，莱克特。注释计算。科学。389、52-74（1989年；Zbl 1493.68199） 全文： 内政部
罗斯·卡斯利;船员，罗杰·F。;何塞·梅塞盖尔;沃恩·普拉特 时间结构。 （英语） 兹比尔1493.68241 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 21-51 (1989).MSC公司：68问题85 18 C50 18D20天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Casley}等人，Lect。注释计算。科学。389、21-51（1989年；Zbl 1493.68241） 全文： 内政部
乌戈·蒙塔纳里;Daniel N.Yanklevich。 CCS交错和分布式操作语义的代数视图。 （英语） Zbl 1493.68198号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389，5-20（1989年）。MSC公司：68问题55 18B20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{D.N.Yanklevich}，莱克特。注释计算。科学。389，5--20（1989；Zbl 1493.68198） 全文： 内政部
吉塞佩·隆戈 闭范畴中的一致性和有效同构。从计算机科学家的角度将证明理论应用于范畴理论（特邀讲座笔记）。 （英语） Zbl 1496.03134号 大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 1-4 (1989).MSC公司：03B70号 03B40型 03楼52 03G30型 18甲15 18日第15天 18米45 68甲18 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Longo}，莱克特。注释计算。科学。389，1-4（1989年；兹bl 1496.03134） 全文： 内政部
巴拉·卡利亚纳桑达拉姆;乔治·施尼特 两人卵石游戏的回合与时间（扩展摘要）。 （英语） Zbl 1492.68107号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 517-529 (1989).MSC公司：68兰特 2006年第68季度 65年第68季度 91A05型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{B.Kalyanasundaram和\textit{G.Schnitger}，莱克特。注释计算。科学。349517-529（1989年；Zbl 1492.68107） 全文： 内政部
赫尔穆特·塞德尔 确定有限树自动机的等价性。 （英语） Zbl 1492.68081号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 480-492 (1989).MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}，莱克特。注释计算。科学。349480-492（1989年；Zbl 1492.68081） 全文： 内政部
卡雷尔·库利克二世;朱哈尼·卡胡马基 关于确定性多带自动机和变换器的等价问题。 （英语） 兹比尔1492.68078 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 468-479 (1989).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{J.Karhumäki}，莱克特。注释计算。科学。349、468至479（1989年；兹比尔1492.68078） 全文： 内政部
平，J.E。;H·斯特劳宾。;Thérien，D。 广义星高问题的新结果。 （英语） Zbl 1492.68080号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 458-467 (1989).MSC公司：65年第68季度 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Pin}等人，Lect。注释计算。科学。349458-467（1989年；Zbl 1492.68080） 全文： 内政部
彼得·扬查尔 Petri网中弱公平性的判定。 （英语） Zbl 1492.68096号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 446-457 (1989).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔}，莱克特。注释计算。科学。349446-457（1989年；Zbl 1492.68096） 全文： 内政部
伯纳黛特·查伦·博斯特 分布式计算的并行性度量。 （英语） 兹比尔1492.68052 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 434-445 (1989).MSC公司：2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Charron-Bost}，莱克特。注释计算。科学。349434-445（1989年；兹比尔1492.68052） 全文： 内政部
本特·琼森;若阿希姆·帕罗 确定一类非有限状态程序的互模拟等价性。 （英语） Zbl 1492.68086号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 421-433 (1989).MSC公司：第68季度第60季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{J.Parrow}，莱克特。注释计算。科学。349421-433（1989年；Zbl 1492.68086） 全文： 内政部
Rakesh M.维尔玛。;罗马克里希南，I.V。 交流重写的一些复杂性理论方面。 （英语） Zbl 1492.68075号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 407-420 (1989).MSC公司：2012年第68季度 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Verma}和\textit{I.V.Ramakrishnan}，莱克特。注释计算。科学。349407-420（1989年；Zbl 1492.68075） 全文： 内政部
恩斯特·梅尔 （mathcal{Q}）上多项式理想的隶属度是指数空间完备的。 （英语） Zbl 1492.68065号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 400-406 (1989).MSC公司：65年第68季度 13页第10页 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit{E.Mayr}，莱克特。注释计算。科学。349400--406（1989年；Zbl 1492.68065） 全文： 内政部
博德里，M。;P.麦肯齐。;Thérien，D。 测试成员资格：超越排列组。 （英语） Zbl 1492.68059号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 388-399 (1989).MSC公司：65年第68季度 2005年5月20日 20平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Beaudry}等人，Lect。注释计算。科学。349388-399（1989年；Zbl 1492.68059） 全文： 内政部
弗里德里克·尼克尔 领域理论的代数规范。 （英语） Zbl 1492.68084号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 360-374 (1989).MSC公司：68问题55 06B35号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.Nickl}，莱克特。注释计算。科学。349360-374（1989年；兹比尔1492.68084） 全文： 内政部
巴利亚特·纳伦德兰;乔纳森·斯蒂尔曼 Knuth-Bendix完成程序是否生成交叉对尚不确定。 （英语） Zbl 1494.68119号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。美国专利349348-359（1989）。MSC公司：2012年第68季度 03日第10天 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{P.Narendran}和\textit{J.Stillman}，莱克特。注释计算。科学。349、348--359（1989年；Zbl 1494.68119） 全文： 内政部
米基·赫尔曼 规则闭包的链属性。 （英语） Zbl 1492.68069号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 339-347 (1989).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.赫尔曼}，莱克特。注释计算。科学。349、339--347（1989年；Zbl 1492.68069） 全文： 内政部
吕迪格·赖舒克;伯恩德·施梅尔茨 提高组合电路可靠性的面积效率方法。 （英语） Zbl 1492.68049号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 314-326 (1989).MSC公司：2006年第68季度 68米15 94C11号机组 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit｛R.Reischuk｝和\textit｛B.Schmeltz｝，Lect。注释计算。科学。349、314--326（1989年；Zbl 1492.68049） 全文： 内政部
马克·奥弗马斯;尼古拉·桑托罗 时间与比特。同步环中领导者选举的改进算法（初步版本）。 （英语） Zbl 1492.68036号 Monien，Burkhard（编辑）等人，STACS 89。1989年2月16日至18日，第六届计算机科学理论方面年度研讨会，德国联邦帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 282-293 (1989).MSC公司：64岁以下 2011年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{M.Overmars}和\textit{N.Santoro}，莱克特。注释计算。科学。349282--293（1989年；Zbl 1492.68036） 全文： 内政部
克里斯蒂安·拉沃 处理器环中分布式先导查找的平均消息数。 （英语） Zbl 1492.68035号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 269-281 (1989).MSC公司：64岁以下 65年第68季度 68卢比 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{C.Lavault}，莱克特。注释计算。科学。349269-281（1989年；Zbl 1492.68035） 全文： 内政部
彼得·伯曼;乔治·施尼特 关于独立集问题逼近的复杂性（扩展抽象）。 （英语） Zbl 1492.68060号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 256-268 (1989).MSC公司：65年第68季度 05C69号 68周25 90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛P.Berman｝和\textit｛G.Schnitger｝，Lect。注释计算。科学。349256-268（1989年；Zbl 1492.68060） 全文： 内政部
安德烈·谢皮埃托夫斯基 如果对于\（\log\log n\），确定性和非确定性空间复杂度相等，那么对于\（\ log n\），它们也相等。 （英语） Zbl 1492.68057号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。第349251-255页（1989年）。MSC公司：2015年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Szepietowski}，莱克特。注释计算。科学。349251--255（1989年；Zbl 1492.68057） 全文： 内政部
Ganesan，K。;史蒂文·霍默 完全问题和强多项式可约性。 （英语） Zbl 1492.68055号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 240-250 (1989).MSC公司：2015年第68季度 2015年3月1日 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Ganesan}和\textit{S.Homer}，莱克特。注释计算。科学。349240-250（1989年；Zbl 1492.68055） 全文： 内政部
蔡金玉;Hemachandra，A巷。 关于奇偶多项式时间的幂。 （英语） Zbl 1492.68054号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 229-239 (1989).MSC公司：2015年第68季度 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-y.Cai}和\textit{L.A.Hemachandra}，莱克特。注释计算。科学。349、229--239（1989年；Zbl 1492.68054） 全文： 内政部
格哈德·邦特洛克;阿尔布雷赫特·霍恩 反转和交替。 （英语） 兹比尔1492.68053 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 218-228 (1989).MSC公司：2015年第68季度 04年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Buntrock}和\textit{A.Hoene}，莱克特。注释计算。科学。349、218--228（1989年；Zbl 1492.68053） 全文： 内政部
梅耶·奥夫·德·海德（Meyer auf der Heide，Friedhem） 计算一维和二维处理器阵列上的最小生成林（扩展抽象）。 （英语） Zbl 1492.68109号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 181-192 (1989).MSC公司：68兰特 2011年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Meyer auf der Heide}，莱克特。注释计算。科学。349181--192（1989年；Zbl 1492.68109） 全文： 内政部
沃尔克·迪克特 线性时间内可解的迹上的单词问题。 （英语） Zbl 1492.68067号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 168-180 (1989).MSC公司：2012年第68季度 03年3月 03D40号 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}，莱克特。注释计算。科学。349168-180（1989年；Zbl 1492.68067） 全文： 内政部
杰弗里·沙利特 自动序列的泛化（扩展抽象）。 （英语） 兹比尔1492.68082 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 156-167 (1989).MSC公司：65年第68季度 11比85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Shallit}，莱克特。注释计算。科学。349156-167（1989年；Zbl 1492.68082） 全文： 内政部
克里斯蒂安·弗劳格尼 线性计数系统，（θ）-发展和有限自动机。 （英语） Zbl 1498.11029号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 144-155 (1989).MSC公司：11A63型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Frougny}，莱克特。注释计算。科学。349144-155（1989年；Zbl 1498.11029） 全文： 内政部
弗里德海姆·辛兹 在链码概念和删除冗余务虚中无法区分的图片语言类。 （英语） Zbl 1492.68079号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。第349、132-143页（1989年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Hinz}，莱克特。注释计算。科学。349132--143（1989年；Zbl 1492.68079） 全文： 内政部
梅耶·奥夫·德·海德（Meyer auf der Heide，Friedhem）;罗尔夫·万卡 通用并行计算机对网络进行的时间优化模拟。 （英语） Zbl 1492.68032号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 120-131 (1989).MSC公司：68M10个 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Meyer auf der Heide}和\textit{R.Wanka}，莱克特。注释计算。科学。349120--131（1989年；Zbl 1492.68032） 全文： 内政部
沃尔夫冈·古贾尔;埃莫·韦尔兹尔;格哈特·沃金格 多项式图着色。 （英语） Zbl 1492.68063号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 108-119 (1989).MSC公司：65年第68季度 05C15号 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{W.Gutjahr}等人，Lect。注释计算。科学。349108-119（1989年；Zbl 1492.68063） 全文： 内政部
赫里斯托·吉吉耶夫。;安德烈·林加;Jörg-Rüdiger萨克 用于计算简单多边形中链接中心的\（O（n\log n）\）算法。 （英语） Zbl 1492.68133号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 96-107 (1989).MSC公司：68单位05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.N.Djidjev}等人，Lect。注释计算。科学。349、96-107（1989年；Zbl 1492.68133） 全文： 内政部
Preparia，Franco P。;罗伯托·塔马西娅 具有最佳查询时间的动态平面点定位（扩展抽象）。 （英语） Zbl 1492.68066号 Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 84-95 (1989).MSC公司：65年第68季度 第52页第37页 68页第10页 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{F.P.Prepartia}和\textit{R.Tamassia}，莱克特。注释计算。科学。349、84-95（1989年；Zbl 1492.68066） 全文： 内政部