克劳斯·詹特克。 代数语义的递归能力。 (英语) 兹比尔0659.68025 Elektron公司。Kybernetik信息 22, 275-296 (1986). 审核人:B.马赫 MSC公司:68第05页 03C57号 08B05号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Jantke},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息22,275--296(1986;Zbl 0659.68025)
汉斯·迪特·伯克哈德 有限自动机的自适应实验。 (英语) Zbl 0638.68050号 Elektron公司。Kybernetik信息 22, 297-303 (1986). 审核人:A.科尔舒诺夫 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Burkhard},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息22,297--303(1986;Zbl 0638.68050)
Aleksej D.科尔舒诺夫。 关于非同构强连通有限自动机的个数。 (英语) Zbl 0637.68054号 Elektron公司。Kybernetik信息 22, 459-462 (1986). 审核人:M.德米洛娃 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Korshunov},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息22,459-462(1986;Zbl 0637.68054)
彼得·巴赫曼;Phan Minh Dung公司 非确定性计算——结构和公理。 (英语) Zbl 0629.68052号 Elektron公司。Kybernetik信息 22, 243-261 (1986). 审核人:E.克努思 MSC公司:03天60 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bachmann}和\textit{Phan Minh Dung},Elektron。信息来源:肯塔基州22,243--261(1986年;Zbl 062968052)
路德维希·施泰格 递归\(\omega \)语言的层次结构。 (英语) Zbl 0627.03024号 Elektron公司。Kybernetik信息 22, 219-241 (1986).MSC公司:03D25号 03D55号 2005年第68季度 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{L.Staiger},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息22,219--241(1986;Zbl 0627.03024)
埃尔基·梅基宁 关于纯上下文无关语法的Szilard语言。 (英语) Zbl 0625.68056号 Elektron公司。Kybernetik信息 22, 527-532 (1986).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Mäkinen},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息22,527--532(1986;Zbl 0625.68056)
法里特·瓦利多 在常规集的标准星高上。一、。 (英语) Zbl 0624.68068号 Elektron公司。Kybernetik信息 22, 463-473 (1986).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Validor},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息22,463--473(1986;Zbl 0624.68068)
曼弗雷德·科贝 如果你遇到了卡纳特拉西耶伦的问题,那么你就必须面对。(关于解决通道布线问题的轨道号)。 (德语) 兹比尔062368067 Elektron公司。Kybernetik信息 22, 371-384 (1986).MSC公司:68兰特 65年第68季度 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Koebe},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息22,371--384(1986;Zbl 0623.68067)
克里斯托夫·梅内尔 同步并行系统的符号模拟。 (英语) Zbl 0623.68052号 Elektron公司。Kybernetik信息 22355-370(1986年).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息22,355--370(1986;Zbl 0623.68052)
赫尔穆特·尤根森;加布里埃尔·蒂林 哪些幺半群是\(\omega \)语言的句法幺半群? (英语) Zbl 0622.68064号 Elektron公司。Kybernetik信息 22, 513-526 (1986). 审核人:M.斯坦比 MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{H.Jürgensen}和\textit{G.Thierrin},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息22,513--526(1986;Zbl 0622.68064)
Huynh,Dung T。 半线性集不等式问题(Sigma^p_2)上界的一个简单证明。 (英语) Zbl 0617.68050号 Elektron公司。Kybernetik信息 22, 147-156 (1986). 审核人:H.Alt键 MSC公司:65年第68季度 65年第68季度 2005年第68季度 2015年3月1日 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{D.T.Huynh},Elektron公司。Informationsurrabeitung Kybernetik基伯内蒂克信息22,147--156(1986;Zbl 0617.68050)
斯特拉纳,K。 “K-determinerten Kongruenzverbänden的半自动”勘误表。 (德语) Zbl 0612.68053号 Elektron公司。Kybernetik信息 22, 634 (1986).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Straßner},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息22,634(1986;Zbl 0612.68053)
沃纳·斯特鲁克曼 L系统和自动机的范畴。 (英语) Zbl 0608.68040号 Elektron公司。Kybernetik信息 21, 411-416 (1985). 审核人:C.冷静 MSC公司:2012年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Struckmann},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息21,411--416(1985;Zbl 0608.68040)
沃尔夫冈·韦克勒 关于不确定性和非终结性的注记。 (英语) Zbl 0606.68018号 Elektron公司。Kybernetik信息 21, 505-512 (1985).MSC公司:60年第68季度 18立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{W.Wechler},电子。Informationsverarbeitung Kybernetik基伯内蒂克信息21,505--512(1985;Zbl 0606.68018)
鲁霍宁(Ruohonen,Keijo) 双凸态射的可逆机器和Post对应问题。 (英语) Zbl 0604.68057号 Elektron公司。Kybernetik信息 21, 579-595 (1985).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Ruohonen},Elektron(电子)。Informationsverarbeitung Kybernetik基伯内蒂克信息21,579--595(1985;Zbl 0604.68057)
克劳斯·米勒 可构造Petri网。 (英语) Zbl 0602.68046号 Elektron公司。Kybernetik信息 21, 171-199 (1985).MSC公司:68问题85 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Müller},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息21、171——199(1985;Zbl 0602.68046)
克日什托夫·克米埃尔 关于确定性有限自动机的有效非确定性表示。 (英语) Zbl 0602.68041号 Elektron公司。Kybernetik信息 21, 417-428 (1985).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chmiel},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息21,417--428(1985;Zbl 0602.68041)
尤根·达索;佩恩,古奥热 关于一些规范语法的有序变体。 (英语) Zbl 0594.68062号 Elektron公司。通知-藜芦。凯伯内提克 21, 491-504 (1985). 审核人:M.Chytil先生 MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow}和\textit{G.Pun},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息21,491--504(1985;Zbl 0594.68062)
Efim B.金伯。;托马斯·齐格曼 通过可靠的工作策略对几乎处处正确的程序进行归纳推理。 (英语) Zbl 0593.03024号 Elektron公司。通知-藜芦。凯伯内提克 21, 91-100 (1985). 审核人:S.P.尤克纳 MSC公司:03D20日 03日70 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Kinber}和\textit{T.Zeugmann},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息21,91--100(1985;Zbl 0593.03024)
科纳,Immo O。 Logische编程。历史和历史看台。逻辑编程.历史和现在的使用。 (德语) Zbl 0586.68014号 Elektron公司。通知-藜芦。凯伯内提克 21, 355-361 (1985). 审核人:F.J.范德林登 MSC公司:68-03 68吨99 68N01型 01A65号 03立方厘米35 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.O.Kerner},电子。Informationsverarbeitung Kybernetik基伯内蒂克信息21,355--361(1985;Zbl 0586.68014)
吕恩特·里德瓦尔德 Ein Modell für Programmiersprachen und Compiler auf der Basis通用代数。 (德语) Zbl 0584.68071号 Elektron公司。通知-藜芦。凯伯内提克 21, 101-127 (1985). 审核人:R.纳伯特 MSC公司:99年第68季度 68N20型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{G.Riedewald},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息21,101--127(1985;Zbl 0584.68071)
安杰伊·谢皮托夫斯基 关于帕特森的问题。 (英语) Zbl 0582.68022号 Elektron公司。通知-藜芦。凯伯内提克 21, 313-314 (1985). 审核人:P.van Emde Boas先生 MSC公司:65年第68季度 03天60 PDF格式BibTeX公司 XML格式引用 \textit{A.Szepietowski},Elektron(电子科技公司)。Informationsverarbeitung Kybernetik基伯内蒂克信息21,313--314(1985;Zbl 0582.68022)
西格玛·格伯;哈拉尔德·霍耶 碎片石墨中的Ersetzung。(替换为零星图形)。 (德语) 兹比尔0573.68040 Elektron公司。通知-藜芦。凯伯内提克 21, 385-400 (1985).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gerber}和\textit{H.Hoyer},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息21,385--400(1985;Zbl 0573.68040)
Janicki,Ryszard 路径表达式系统的等价概念。 (英语) Zbl 0573.68028号 Elektron公司。通知-藜芦。凯伯内提克 21, 283-295 (1985).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息21,283--295(1985;Zbl 0573.68028)
雷纳·帕奇曼 平衡的无上下文语言和索引语言。 (英语) Zbl 0597.68059号 Elektron公司。通知-藜芦。凯伯内提克 20, 543-556 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Parchmann},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息20,543--556(1984;Zbl 0597.68059)
雷纳·坎普 关于LR(0)文法的可判定性和翻译结果。 (英语) Zbl 0573.68047号 Elektron公司。通知-藜芦。凯伯内提克 20, 611-621 (1984). 审核人:J.皮特 MSC公司:68N20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kemp},Elektron公司。Informationsverarbeitung Kybernetik Kybernatik信息20,611--621(1984;Zbl 0573.68047)
迈克尔·昆泽 Lineare Parallellechner公司。二、。 (德语) Zbl 0573.68044号 Elektron公司。通知-藜芦。凯伯内提克 20, 111-147 (1984). 审核人:W.Schönauer女士 MSC公司:65年第68季度 2005年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunze},Elektron公司。Informationsverarbeitung Kybernetik Kybernatik信息20、111--147(1984;Zbl 0573.68044)
迈克尔·昆泽 Lineare Parallellechner公司。一、。 (德语) Zbl 0573.68043号 Elektron公司。通知-藜芦。凯伯内提克 20, 9-39 (1984).MSC公司:65年第68季度 2005年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunze},Elektron公司。Informationsverarbeitung Kybernetik Kybernatik信息20,9--39(1984;Zbl 0573.68043)
马雷克·埃兹蒙特 迷宫中的问题可以由卵石自动机来决定。 (英语) Zbl 0568.68032号 Elektron公司。通知-藜芦。凯伯内提克 20, 623-632 (1984). 审核人:K·H·金 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ejsmont},电子。Informationsverarbeitung Kybernetik Kybernatik信息20,623--632(1984;Zbl 0568.68032)
克劳斯·瓦格纳 有限集的单调覆盖。 (英语) Zbl 0566.68041号 Elektron公司。通知-藜芦。凯伯内提克 20, 633-639 (1984). 审核人:M.Chytil先生 MSC公司:65年第68季度 05B40号 PDF格式BibTeX公司 XML格式引用 \textit{K.Wagner},电子琴。Informationsverarbeitung Kybernetik基伯内提克信息20,633--639(1984;Zbl 0566.68041)
Genrich,H.J。;詹森,D。;G.罗森伯格。;蒂亚加拉扬,P.S。 广义句柄语法及其与Petri网的关系。 (英语) Zbl 0558.68051号 Elektron公司。通知-藜芦。凯伯内提克 20, 179-206 (1984). 审核人:M.Jantzen先生 MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Genrich}等人,Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息20、179--206(1984;Zbl 0558.68051)
Jan A.Bergstra。;约翰·梅耶(John-J.Ch.Meyer)。 指定整数集时。 (英语) Zbl 0554.68008号 Elektron公司。通知-藜芦。凯伯内提克 20, 531-541 (1984).MSC公司:68第05页 68问题65 68N01型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.-J.Ch.Meyer},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息20,531--541(1984;Zbl 0554.68008)
米歇尔·拉特奥;加布里埃尔·蒂林 关于有界上下文无关语言。 (英语) Zbl 0552.68062号 Elektron公司。通知-藜芦。凯伯内提克 20, 3-8 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Latteux}和\textit{G.Thierrin},Elektron。Informationsverarbeitung Kybernetik 20,3--8(1984;Zbl 0552.68062)
彼得·斯塔克。 多处理器系统及其并发性。 (英语) Zbl 0552.68058号 Elektron公司。通知-藜芦。凯伯内提克 20, 207-227 (1984).MSC公司:68问题85 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Starke},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息20,207--227(1984;Zbl 0552.68058)
沃尔夫冈·吕林 Wachstumsverteilungen bei PD0L-Systemen公司。 (德语) Zbl 0552.68056号 Elektron公司。通知-藜芦。凯伯内提克 20, 93-109 (1984).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Rülling},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息20,93--109(1984;Zbl 0552.68056)
克劳斯·约恩·兰格 DT0L系统和接触网。 (德语) Zbl 0552.68055号 Elektron公司。通知-藜芦。凯伯内提克 20, 81-92 (1984).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.-J.Lange},Elektron公司。Informationsverarbeitung Kybernetik信息20,81--92(1984;Zbl 0552.68055)
德普,克莱门斯 Ein Satzüber自由选择。 (德语) Zbl 0551.68052号 Elektron公司。通知-藜芦。凯伯内提克 19, 107-113 (1983). 审核人:L.普莱斯 MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Döpp},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息19,107--113(1983;Zbl 0551.68052)
德普,克莱门斯 Zum Hackschen Wohlformungssatz für Free-Choice-Petrinetze(祖姆·哈克申·沃尔福蒙萨茨)。 (德语) Zbl 0551.68051号 Elektron公司。通知-藜芦。凯伯内提克 1983年3月19日至15日. 审核人:L.普莱斯 MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{K.Döpp},Elektron。Informationsonsurrabeitung Kybernetik基伯内蒂克信息19,3--15(1983;Zbl 0551.68051)
赫尔穆特·尤根森;Shyr,Huei-Jan公司;加布里埃尔·蒂林 析取\(\omega\)-语言。 (英语) Zbl 0545.68073号 Elektron公司。通知-藜芦。凯伯内提克 19267-278(1983年).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{H.Jürgensen}等人,Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息19、267--278(1983;Zbl 0545.68073)
托马斯·齐格曼 归纳推理中最快程序的综合。 (英语) Zbl 0545.68034号 Elektron公司。通知-藜芦。凯伯内提克 19, 625-642 (1983).MSC公司:65年第68季度 2015年3月1日 68T05型 03D20日 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{T.Zeugmann},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息19,625--642(1983;Zbl 0545.68034)
托马斯·齐格曼 递归函数归纳推理中的后验特征。 (英语) Zbl 0542.03020号 Elektron公司。通知-藜芦。凯伯内提克 19, 559-594 (1983).MSC公司:2015年3月1日 03D20日 68T05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Zeugmann},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息19,559--594(1983;Zbl 0542.03020)
潘丁·迪乌 关于随机语言递归性和非结论自由随机语言的注释。 (英语) Zbl 0539.68074号 Elektron公司。通知-藜芦。凯伯内提克 19397-398(1983年).MSC公司:68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{潘丁·迪尤},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息19,397--398(1983;Zbl 0539.68074)
汉斯·沃纳·波尔 Petri网游戏。 (英语) Zbl 0539.68052号 Elektron公司。通知-藜芦。凯伯内提克 19, 235-244 (1983). 审核人:F.凹槽 MSC公司:68问题85 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{H.W.Pohl},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息19,235--244(1983;Zbl 0539.68052)
埃尔基·梅基宁 关于左Szilard语言的某些性质。 (英语) Zbl 0538.68056号 Elektron公司。通知-藜芦。凯伯内提克 19, 497-501 (1983).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Mäkinen},Elektron公司。Informationsurrabeitung Kybernetik基伯内蒂克信息19,497--501(1983;Zbl 0538.68056)
阿明·海默林 D \(neq \)ND für mehrdimensionale Turing-Automaten mit sublogarithmicher Raumschranke公司。 (德语) Zbl 0538.68040号 Elektron公司。通知-藜芦。凯伯内提克 19, 85-94 (1983). 审核人:A.斯利森科 MSC公司:2005年第68季度 65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Hemmerling},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息19,85--94(1983;Zbl 0538.68040)
彼得·斯塔克。 Petri网过程的图形语法。 (英语) Zbl 0533.68064号 Elektron公司。通知-藜芦。凯伯内提克 19, 199-233 (1983). 审核人:R.Janicki公司 MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Starke},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息19,199--233(1983;Zbl 0533.68064)
路易丝·马丁;科里娜·雷舍尔;Ivo G.罗森博格。 电路辅助设备的完整性问题已经延迟。 (法语) Zbl 0526.94020号 Elektron公司。通知-藜芦。凯伯内提克 19, 171-186 (1983).MSC公司:94立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Martin}等人,Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息19、171--186(1983;Zbl 0526.94020)
吉斯伯特·迪特里奇;沃尔夫冈·梅泽尼奇 操作员:他们的展开和覆盖物。 (英语) Zbl 0522.68023号 Elektron公司。通知-藜芦。凯伯内提克 19, 33-53 (1983).MSC公司:60年第68季度 18A40型 18B20型 05C70号 05立方38 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Dittrich}和\textit{W.Merzenich},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息19、33--53(1983;Zbl 0522.68023)
布达赫、洛塔尔;汉斯·科尔哈斯 Zur Redundanz von Komposita endlicher Automaten公司。 (德语) Zbl 0513.68049号 Elektron公司。通知-藜芦。凯伯内提克 1911年至130年(1983年).MSC公司:70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Budach}和\textit{H.Kohlhase},Elektron。信息来源:Kybernetik 19115-130(1983年;Zbl 0513.68049)
汉斯·科尔哈斯 Zum Reduktionsverhalten von Modulautomaten。 (德语) Zbl 0513.68048号 Elektron公司。通知-藜芦。凯伯内提克 19,55-66(1983年).MSC公司:70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kohlhase},电子。Informationsverarbeitung Kybernetik基伯内蒂克信息19,55--66(1983;Zbl 0513.68048)
卡尔·斯特拉斯纳 1-Kongruenzen unendlicher关系系统。 (德语) Zbl 0513.68046号 Elektron公司。通知-藜芦。凯伯内提克 19, 195-198 (1983).MSC公司:70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Strassner},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息19,195--198(1983;Zbl 0513.68046)
卡尔·斯特拉斯纳 半自动机mit K-determinierten Kongruenzverbenden。 (德语) Zbl 0513.68045号 Elektron公司。通知-藜芦。凯伯内提克 19, 131-135 (1983).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Strassner},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息19、131--135(1983;Zbl 0513.68045)
安杰伊·谢皮托夫斯基 用1-鹅卵石自动机搜索平面迷宫。 (英语) 兹比尔0513.68040 Elektron公司。通知-藜芦。凯伯内提克 19, 79-84 (1983).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Szepetowski},电子科技。Informationsverarbeitung Kybernetik基伯内蒂克信息19,79--84(1983;Zbl 0513.68040)
盖奥盖·鲍恩;尤根·达索 \(L(ETOL_{[5]})=L(ETOL)\)。 (英语) 兹伯利0538.68059 Elektron公司。通知-藜芦。凯伯内提克 18, 345-348 (1982). 审核人:G.奥曼 MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Paun}和\textit{J.Dassow},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息18,345--348(1982;Zbl 0538.68059)
赫尔穆特·尤根森;伍德,德里克 自我调节L系统。 (英语) 兹伯利0534.68040 Elektron公司。通知-藜芦。凯伯内提克 18, 375-387 (1982). 审核人:P.Jirků MSC公司:2012年第68季度 92B05型 PDF格式BibTeX公司 XML格式引用 \textit{H.Jürgensen}和\textit{D.Wood},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息18,375--387(1982;Zbl 0534.68040)
布达赫、洛塔尔;克里斯托夫·梅内尔 环境和自动化。二、。 (英语) Zbl 0534.68037号 Elektron公司。通知-藜芦。凯伯内提克 18, 115-139 (1982). 审核人:D.克里斯蒂 MSC公司:65年第68季度 18B20型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Budach}和\textit{C.Meinel},Elektron。基辅信息中心18115-139(1982年;Zbl 0534.68037)
布达赫、洛塔尔;克里斯托夫·梅内尔 环境和Autmata。一、。 (英语) Zbl 0534.68036号 Elektron公司。通知-藜芦。凯伯内提克 18,3-40(1982年). 审核人:D.克里斯蒂 MSC公司:65年第68季度 18B20型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Budach}和\textit{C.Meinel},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息18,3--40(1982;Zbl 0534.68036)
克里斯托夫·梅内尔 关于范畴码中群迷宫的自同态幺半群和自同构群的结构。 (英语) Zbl 0531.68011号 Elektron公司。通知-藜芦。凯伯内提克 18, 501-505 (1982).MSC公司:70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel},Elektron。Kybernetik信息18,501--505(1982;Zbl 0531.68011)
卡尔·斯特拉斯纳 Zur Strukturtheorie endlicher nichtdeterministischer Automaten公司。三: Zum Steuerrelationenverband nichtdeterministischer Automaten公司。 (德语) Zbl 0527.68041号 Elektron公司。通知-藜芦。凯伯内提克 18, 569-577 (1982).MSC公司:65年第68季度 08A30型 08A02号 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Strassner},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息18,569--577(1982;Zbl 0527.68041)
彼得·沙特 浮点乘法中的后移频率。 (英语) Zbl 0523.68040号 Elektron公司。通知-藜芦。凯伯内提克 18, 523-526 (1982).MSC公司:99年第68季度 60E99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Schatte},Elektron公司。Informationsverarbeitung Kybernetik Kybernatik信息18,523--526(1982;Zbl 0523.68040)
布达赫、洛塔尔;斯蒂芬·瓦克 关于锥自动机的停止问题。 (英语) Zbl 0522.68048号 Elektron公司。通知-藜芦。凯伯内提克 18, 489-499 (1982).MSC公司:65年第68季度 2010年1月20日 05年3月 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{L.Budach}和\textit{S.Waack},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息18,489--499(1982;Zbl 0522.68048)
Thiet-Dong Huynh公司 半线性集的复杂性。 (英语) Zbl 0519.68060号 Elektron公司。通知-藜芦。凯伯内提克 18, 291-338 (1982).MSC公司:65年第68季度 65年第68季度 05年3月 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{Thiet-Dung Huynh},电子公司。Informationsverarbeitung Kybernetik基伯内蒂克信息18,291--338(1982;Zbl 0519.68060)
弗朗兹·约瑟夫·勃兰登堡 关于广义Parikh等式集的注记。 (英语) Zbl 0518.68041号 Elektron公司。通知-藜芦。凯伯内提克 18, 565-568 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.-J.Brandenburg},Elektron公司。Informationsverarbeitung Kybernetik Kybernatik信息18,565--568(1982;Zbl 0518.68041)
克劳斯·埃森菲尔德 树转导的一个新的特征定理。 (英语) Zbl 0514.68077号 Elektron公司。通知-藜芦。凯伯内提克 187-204年(1982年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Estenfeld},Elektron。基辅信息中心18187--204(1982年;Zbl 0514.68077)
汉斯·科尔哈斯 模块化冗余矩阵和Reduktion von Modulautomaten。 (德语) Zbl 0513.68047号 Elektron公司。通知-藜芦。凯伯内提克 18647-658(1982年).MSC公司:70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kohlhase},电子。Informationsverarbeitung Kybernetik Kybernatik信息18,647--658(1982;Zbl 0513.68047)
Rajasethupathy,K.S。;Shyamasundar,R.K。 一种新的EOL系统解析算法。 (英语) Zbl 0511.68056号 Elektron公司。通知-藜芦。凯伯内提克 18, 543-564 (1982).MSC公司:68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Rajasethupathy}和\textit{R.K.Shyamasundar},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息18,543--564(1982;Zbl 0511.68056)
阿明·海默林 关于同步和异步蜂窝空间的计算等价性。 (英语) Zbl 0511.68035号 Elektron公司。通知-藜芦。凯伯内提克 18, 423-434 (1982).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Hemmerling},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息18,423--434(1982;Zbl 0511.68035)
尤尔根·达索 关于阮宣美和鲍恩问题的评论。 (英语) Zbl 0506.68062号 Elektron公司。通知-藜芦。凯伯内提克 1867-68年(1982年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow},Elektron公司。Kybernetik信息18,67-68(1982年;Zbl 0506.68062)
阮轩我的;盖奥盖·鲍恩 语境图式的生成能力与句法不变选择。 (英语) Zbl 0506.68061号 Elektron公司。通知-藜芦。凯伯内提克 1857-65(1982年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Nguyen Xuan My}和\textit{G.Paun},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息18,57--65(1982;Zbl 0506.68061)
阿尔布雷希特·Hübler;莱因哈德·克莱特;温特·沃纳 限制度内和度外的图的最短路径算法。 (英语) Zbl 0493.68067号 Elektron公司。通知-藜芦。凯伯内提克 18, 141-151 (1982).MSC公司:68兰特 65年第68季度 05C35号 05立方38 PDF格式BibTeX公司 XML格式引用 \textit{A.Hübler}等人,Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息18,141--151(1982;Zbl 0493.68067)
迪特里赫·麦哈特;克劳斯·瓦格纳 Eine Bemerkung zu einer Arbeit von Monienüber Kopfzahl-Hierarchien für Zweiweg-Automaten公司。 (德语) Zbl 0493.68047号 Elektron公司。通知-藜芦。凯伯内提克 18, 69-74 (1982).MSC公司:2005年第68季度 65年第68季度 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{D.Meinhardt}和\textit{K.Wagner},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息18,69--74(1982;Zbl 0493.68047)
彼得·穆恩特费林 Erratum zu:“Kellerautomaten mit mehreren Kellern”。 (德语) Zbl 0492.68060号 Elektron公司。通知-藜芦。凯伯内提克 18, 112 (1982).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Muentefering},Elektron。Informationsverarbeitung Kybernetik 18、112(1982;Zbl 0492.68060)
雅克·萨卡罗维奇 类型fini的描述。 (法语) Zbl 0572.20037号 Elektron公司。通知-藜芦。凯伯内提克 17, 417-434 (1981). 审核人:H.Jürgensen先生 MSC公司:2005年5月20日 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Sakarovitch},Elektron公司。Informationsverarbeitung Kybernetik 17,417--434(1981;Zbl 0572.20037)
汉斯·迪特·伯克哈德 Petri网中的有序射击。 (英语) Zbl 0535.68029号 Elektron公司。通知-藜芦。凯伯内提克 17, 71-86 (1981).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Burkhard},Elektron公司。Informationsverarbeitung Kybernetik 17,71--86(1981;Zbl 0535.68029)
阿尔布雷希特·Hübler;莱因哈德·克莱特;沃·克劳斯 线性时间内有限平面点集凸壳的确定。 (英语) Zbl 0534.68065号 Elektron公司。通知-藜芦。凯伯内提克 17121-139(1981年).MSC公司:68吨10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Hübler}等人,Elektron。信息来源:Kybernetik 17121-139(1981年;Zbl 0534.68065)
Do Minh泰语 关于复集的最小程序复杂性。 (英语) Zbl 0534.03015号 Elektron公司。通知-藜芦。凯伯内提克 1787-102(1981年).MSC公司:2015年3月1日 03D25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Do Minh Thai},电子。Informationsverarbeitung Kybernetik 17,87--102(1981;Zbl 0534.03015)
卡尔·斯特拉斯纳 Zur Strukturtheorie endlicher nichtdeterministischer Automaten公司。二: Gesteuerte Summen和Steuerbaeume nichtdeterministischer Automaten。 (德语) 兹伯利0527.68040 Elektron公司。通知-藜芦。凯伯内提克 17, 511-522 (1981).MSC公司:65年第68季度 08A30型 08A02号 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Strassner},Elektron公司。Informationsverarbeitung Kybernetik 17,511--522(1981;Zbl 0527.68040)
卡尔·斯特拉斯纳 Zur Strukturtheorie endlicher nichtdeterministischer Automaten公司。I.Zum Verband der 1-Kongruenzen von endlichen关系系统。 (德语) Zbl 0527.68039号 Elektron公司。通知-藜芦。凯伯内提克 17, 113-120 (1981).MSC公司:65年第68季度 08A30型 08A02号 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Strassner},Elektron公司。Informationsverarbeitung Kybernetik 17,113--120(1981;Zbl 0527.68039)
克劳斯·P·詹特克。;汉斯·雷纳·拜克 在归纳推理中结合自然假设。 (英语) Zbl 0526.03021号 Elektron公司。通知-藜芦。凯伯内提克 17, 465-484 (1981).MSC公司:03D20日 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Jantke}和\textit{H.-R.Beick},Elektron。Informationsverarbeitung Kybernetik 17,465--484(1981;Zbl 0526.03021)
迪特玛·韦琴 分类自动机理论的两种方法的比较。 (英语) Zbl 0519.68064号 Elektron公司。通知-藜芦。凯伯内提克 17, 451-464 (1981).MSC公司:70年第68季度 18B20型 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{D.Waetjen},Elektron公司。Informationsverarbeitung Kybernetik 17,451--464(1981;Zbl 0519.68064)
格恩特·霍茨 k维syntaktische Monoide。 (德语) Zbl 0506.68056号 Elektron公司。通知-藜芦。凯伯内提克 17, 435-449 (1981).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{G.Hotz},Elektron公司。Informationsverarbeitung Kybernetik 17,435--449(1981;Zbl 0506.68056)
彼得·斯塔克。 Petri网中的进程。 (英语) Zbl 0504.68035号 Elektron公司。通知-藜芦。凯伯内提克 1789-416(1981年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Starke},Elektron。肯塔基州信息17,389——416(1981年;Zbl 0504.68035)
伯恩哈德·戈泽;沃纳·尼利希 计算简单函数所需且足够的循环数。 (英语) 兹比尔0504.68026 Elektron公司。通知-藜芦。凯伯内提克 17, 363-376 (1981).MSC公司:65年第68季度 03天60 03D20日 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{B.Goetze}和\textit{W.Nehrlich},Elektron。Informationsverarbeitung Kybernetik Kybernatik信息17,363--376(1981;Zbl 0504.68026)
帕沃·图拉凯宁 关于线性上下文无关语言交集的一些评论。 (英语) Zbl 0503.68053号 Elektron公司。通知-藜芦。凯伯内提克 17, 345-348 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Turakainen},电子。Informationsverarbeitung Kybernetik 17,345--348(1981;Zbl 0503.68053)
Pham Tra An公司 变结构概率自动机接受语言类的一些必要条件。 (俄语) Zbl 0499.68024号 Elektron公司。通知-藜芦。凯伯内提克 17, 623-632 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Pham Tra An},Elektron公司。Informationsverarbeitung Kybernetik 17,623--632(1981;Zbl 0499.68024)
库尔特·纳瓦罗茨基 随机环境中的离散开放系统或马尔可夫链。一、。 (英语) 兹标0498.60069 Elektron公司。通知-藜芦。凯伯内提克 17, 569-599 (1981).MSC公司:60J10型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Nawrotzki},Elektron(电子)。Informationsverarbeitung Kybernetik 17,569--599(1981;Zbl 0498.60069)
汉斯·迪特·伯克哈德 Petri网的两个抽运引理。 (英语) Zbl 0494.68065号 Elektron公司。通知-藜芦。凯伯内提克 17, 349-362 (1981).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Burkhard},Elektron公司。Informationsverarbeitung Kybernetik 17,349--362(1981;Zbl 0494.68065)
迪特玛·韦琴 范畴自动机理论的输入和输出过程方法的推广。 (英语) Zbl 0494.68063号 Elektron公司。通知-藜芦。凯伯内提克 17, 325-344 (1981).MSC公司:70年第68季度 18B20型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Waetjen},Elektron公司。Informationsverarbeitung Kybernetik 17,325--344(1981;Zbl 0494.68063)
伯恩德·格鲁 磁带上的复杂性类和Savitch迷宫。 (英语) Zbl 0493.68048号 Elektron公司。通知-藜芦。凯伯内提克 17, 501-510 (1981).MSC公司:2005年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Graw},电子。Informationsurrabeitung Kybernetik 17,501--510(1981;Zbl 0493.68048)
克里希纳穆尔西,E.V。;莱因哈德·克莱特 矩阵乘法的快速并行实现。 (英语) Zbl 0483.68040号 Elektron公司。通知-藜芦。凯伯内提克 17279-292(1981年).MSC公司:65年第68季度 68瓦99 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Krishnamurthy}和\textit{R.Klette},Elektron。信息来源:肯塔基州17279--292(1981年;Zbl 048368040)
戈特瓦尔德,齐格弗里德 Fuzzy-Mengen和ihre Anwendungen。艾恩·伯布利克。 (德语) Zbl 0481.94024号 Elektron公司。通知-藜芦。凯伯内提克 17, 207-235 (1981).MSC公司:94D05型 94-02 03E72型 03-02 94C10美元 65年第68季度 91磅06 03B52号 54A40型 93立方 90C99号 00A15年 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{S.Gottwald},Elektron公司。Informationsverarbeitung Kybernetik 17,207--235(1981;Zbl 0481.94024)
彼得·巴赫曼 弱解释程序方案的分析。 (英语) Zbl 0468.68011号 Elektron公司。通知-藜芦。凯伯内提克 17, 15-26 (1981).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.巴赫曼},Elektron。Informationsurrabeitung Kybernetik 17,15--26(1981;Zbl 0468.68011)
沃纳·库奇 苏尔理论代数系统。 (德语) Zbl 0467.68062号 Elektron公司。通知-藜芦。凯伯内提克 1981年3月17日至14日.MSC公司:65年第68季度 13层25 PDF格式BibTeX公司 XML格式引用 \textit{W.Kuich},Elektron公司。Kybernetik信息17,3-14(1981年;Zbl 0467.68062)
罗尔夫·哈特维格 U.ber sprachiche Ausdrucksmittel zur syntaktischen Beherrschung der Val quivalenz von Folgen simultaner Wertzuweisungen and indizierte Variablen。 (德语) Zbl 0462.68061号 Elektron公司。通知-藜芦。凯伯内提克 17,39-60(1981年).MSC公司:68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hartwig},Elektron公司。Informationsverarbeitung Kybernetik 17,39--60(1981;Zbl 0462.68061)
沃尔夫冈·韦克勒 Abschlußeigenschaften(R,P)-定量配给Sprachen。 (德语) Zbl 0462.68060号 Elektron公司。通知-藜芦。凯伯内提克 17, 27-37 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Wechler},电子。Informationsverarbeitung Kybernetik 17,27-37(1981;Zbl 0462.68060)
沃尔夫拉姆·利普。 Erweiterungen von Dendrogrammatiken。 (德语) Zbl 0471.68054号 Elektron公司。通知-藜芦。凯伯内提克 16, 21-39 (1980).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.-M.Lippe},Elektron公司。Informationsverarbeitung Kybernetik Kybernatik信息16,21--39(1980;Zbl 0471.68054)
卢茨·埃希纳 定义语言和组合线性可实现自动机。 (英语) Zbl 0461.68080号 Elektron公司。通知-藜芦。凯伯内提克 16, 237-243 (1980).MSC公司:65年第68季度 70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.Eichner},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息16,237--243(1980;Zbl 0461.68080)
迈克尔·戈塞尔;莱因哈德·普舍尔 自动机的不变关系——一个建议。 (英语) Zbl 0461.68051号 Elektron公司。通知-藜芦。凯伯内提克 16, 147-169 (1980).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gössel}和\textit{R.Pöschel},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息16,147--169(1980;Zbl 0461.68051)
库尔特·纳鲁茨基 车站(Stationäre Verteilungen endlicher offer Systeme)。 (德语) Zbl 0455.60059号 Elektron公司。通知-藜芦。凯伯内提克 16, 345-351 (1980).MSC公司:60J10型 60J05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Nawrotzki},Elektron(电子)。Informationsverarbeitung Kybernetik 16,345--351(1980;Zbl 0455.60059)
Gerd Wechsung公司 关于返回复杂性的注释。 (英语) Zbl 0453.68017号 Elektron公司。通知-藜芦。凯伯内提克 16, 139-146 (1980).MSC公司:65年第68季度 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Wechsung},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息16,139--146(1980;Zbl 0453.68017)