本特利,乔恩·路易斯 算法的概率分析。 (英语) Zbl 0642.68041号 应用概率-计算机科学:界面,Proc。会议。,Boca Raton/FL 1981,第1卷,Prog。计算。科学。2, 137-162 (1982).MSC公司:68瓦99 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式
克里斯蒂安·卡鲁德 计算复杂性。定性方面。 (罗马尼亚语。英文摘要) Zbl 0619.03029号 Bucurešti:编辑学。304页。;雷21.50(1982)。 审核人:M.Zimand先生 MSC公司:2015年3月1日 03-01 65年第68季度 03-02 PDF格式BibTeX公司 XML格式
安德烈亚斯·布兰德斯特;约格·沃格尔 Kompliziertheitsbeschränkte Checking-Stack-Bänder und-Raum-Zeit-问题。(复杂性限制检查堆栈磁带和时空问题)。 (德语) Zbl 0606.68044号 威斯。Z.Friedrich-Schiller-Univ.Jena,数学-自然科学。赖厄 31, 569-577 (1982).MSC公司:65年第68季度 2005年第68季度 03日第10天 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \威斯康星州textit{A.Brandstädt}和\textit{J.Vogel}。Z.Friedrich-Schiller-Univ.Jena,数学-自然科学。Reihe 31,569--577(1982;Zbl 0606.68044)
鲁日卡,P。 对“快速”样本的估计。 (俄语) Zbl 0598.68037号 程序系统和计算机使用效率,收集。科学。作品,新西伯利亚,1982年,31-44(1982)。MSC公司:65年第68季度 62G30型 PDF格式BibTeX公司 XML格式
A.巴基。 抽象计算复杂性理论的发展。 (英语) Zbl 0597.68041号 数学。螺柱。 43(1982), 418-420 (1975).MSC公司:65年第68季度 2015年3月1日 68-01 03-01 PDF格式BibTeX公司 XML格式引用 \textit{A.Bagchi},数学。螺柱43,418--420(1982;Zbl 0597.68041)
海伦娜·拉西奥瓦 [G.马斯卡里。] 关于无穷逻辑和程序逻辑的讲座。Gianfranco Mascari收藏。 (英语) Zbl 0597.03016号 方庭。,序列号。三、 问题。申请。Calcolo 142122页(1982年)。MSC公司:03B60号 03立方厘米75 60年第68季度 68问题65 68-01 03-01 68-02 03-02 PDF格式BibTeX公司 XML格式
罗伯特·戈德布拉特 霍尔迭代规则的语义。 (英语) Zbl 0597.03013号 螺柱日志。 41, 141-158 (1982).MSC公司:03B45号 68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},研究日志。41、141--158(1982;Zbl 0597.03013) 全文: 内政部
A.D.萨基西亚。 关于由迭代网络上的计算时间定义的函数类。 (俄语) 兹比尔0595.68049 特雷·维奇尔。特森塔·阿卡德。恶心的手臂。SSR埃里文。戈斯。大学。 10, 9-28 (1982).MSC公司:65年第68季度 03D60年 2015年3月1日 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Sarkisyan},特雷·维奇尔。特森塔·阿卡德。恶心的手臂。SSR埃里文。戈斯。大学10,9--28(1982;Zbl 0595.68049)
萨基扬,A.S。 某些树文法类的正规形式。 (俄语) Zbl 0594.68065号 特雷·维奇尔。特森塔·阿卡德。恶心的手臂。SSR埃里文。戈斯。大学。 10, 155-174 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Saakyan},Tr.Vychils。特森塔·阿卡德。恶心的手臂。SSR埃雷万。戈斯。大学10,155--174(1982;Zbl 0594.68065)
加布里埃尔·奥尔曼 关于导数的弧函数的注释。 (英语) Zbl 0594.68064号 灯泡。布拉索夫大学。C类 24, 17-18 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Orman},布尔。Brașov大学,Ser。C 24,17--18(1982;Zbl 0594.68064)
Nepejvoda,N.N。 编程的逻辑方法。 (俄语) Zbl 0593.68024号 现代数学算法,II,Mater。国际交响乐团。,Urgench/UzSSR,1979年,第2期,32-63(1982年)。 审核人:A.克雷茨马尔 MSC公司:68问题65 68号01 03B25号 PDF格式BibTeX公司 XML格式
阿尔德,A。;V·斯特拉森。 线性代数的算法复杂性。 (俄语) Zbl 0584.68060号 现代数学中的算法,II,Mater。国际交响乐团。,Urgench/UzSSR,1979年,第2期,124-138(1982)。MSC公司:65年第68季度 16页第10页 68瓦30 PDF格式BibTeX公司 XML格式
格卢什科夫(V.M.Glushkov)。 关于算法的形式变换。 (俄语) Zbl 0584.68052号 现代数学算法,II,Mater。国际交响乐团。,Urgench/UzSSR,1979,240-253(1982)。 审核人:A.克雷奇马尔 MSC公司:68瓦99 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
J.西克曼。;Szabó,P。 普遍统一。 (英语) Zbl 0584.68050号 人工智能,第6德语。车间,Bad Honnef/Ger。1982年,Inf.-Fachber。58, 102-141 (1982). 审核人:B.Wojdyło MSC公司:68问题65 08A40号 08A50号 03B25号 08B05号 PDF格式BibTeX公司 XML格式
于什塔纳。 间接寻址的公理语义。 (俄语) Zbl 0584.68025号 程序系统和计算机使用效率,收集。科学。作品,新西伯利亚,1982,83-92(1982)。 审核人:G.格里加斯 MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式
米提夫,V。 控制离散技术过程的系统的通用模型及其在系统软件开发中的应用。 (保加利亚语。英语、俄语摘要) Zbl 0583.93041号 Avtom公司。伊兹奇塞尔。泰克。 16,No.6,4-9(1982).MSC公司:93C55美元 68N25号 68岁20岁 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.Mitev},Avtom。伊兹奇什利特纳(Izchislitelna Tekh)。16,第6、4-9号(1982;Zbl 0583.93041)
陶仁济 有界误差传播和前馈可逆性之间的关系。 (英语) Zbl 0583.68027号 科学通宝,外语编辑。 27, 680-682 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Tao},科学科学,科学通宝。牛市。27680--682(1982年;Zbl 0583.68027)
莱蒂切夫斯基,A。 关于程序中不变关系的搜索。 (俄语) Zbl 0583.68003号 现代数学中的算法,II,Mater。国际交响乐团。,Urgench/UzSSR,1979,79-92(1982)。 审核人:V.马祖罗夫 MSC公司:60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式
丘古,Eh.Kh。 程序的结构综合。 (俄语) Zbl 0583.68002号 现代数学算法,II,Mater。国际交响乐团。,Urgench/UzSSR,1979,64-78(1982)。 审核人:V.马祖罗夫 MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
亚·巴兹丁。M。 关于程序的归纳综合。 (俄语) Zbl 0583.68001号 现代数学算法,我,马特。国际交响乐团。,Urgench/UzSSR,1979,343-364(1982)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
凯斯,约翰;克里斯托弗·林斯 机器归纳推理和语言识别。 (英语) Zbl 0582.68047号 自动化,语言和编程,第九学院,奥胡斯/丹麦。1982年,Lect。注释计算。科学。140, 107-115 (1982).MSC公司:65年第68季度 05年3月 03D20日 PDF格式BibTeX公司 XML格式
莫斯托夫斯基,A.Włodzimierz 无限树上下沉自动机的确定性和各种拉宾对指数之间的不等式。 (英语) Zbl 0582.68023号 信息处理。莱特。 15, 159-163 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Mostowski},Inf.过程。莱特。15、159--163(1982年;Zbl 0582.68023) 全文: 内政部
田中真次郎 有限自动机的表示。 (英语) Zbl 0578.68047号 数学系。,卡尔·马克思经济大学。,布达普。1982-1, 15-43 (1982).MSC公司:70年第68季度 20立方米 PDF格式BibTeX公司 XML格式
新几内亚卡兰达里什维利。 关于等价变换语言中强连通自动机的综合。 (俄语。英文摘要) Zbl 0576.68041号 事务处理仪表价格。材料名称。I.N.Vekua公司 11, 15-21 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.G.Kalandarishvili},Tr.Inst.Prikl.出版社。材料名称。I.N.Vekua 11,15--21(1982;Zbl 0576.68041)
汉斯·尤根·霍恩 异质幺半群自动机和容许双系。 (英语) 兹比尔0574.68049 通用代数与应用,1978年学期,巴纳赫中心。出版物。9, 347-368 (1982).MSC公司:70年第68季度 18B20型 PDF格式BibTeX公司 XML格式 全文: 欧洲DML
雷纳托·贝蒂;斯特凡诺·卡桑吉安 自动机的准通用实现。 (英语) Zbl 0574.68048号 伦德。问题。的里雅斯特马特大学 14, 41-48 (1982).MSC公司:70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Betti}和\textit{S.Kasangian},Rend。问题。特里亚斯特马特大学14,41-48(1982;Zbl 0574.68048)
Novotn,Jiří Pawlak机器的类别。 (英语) Zbl 0574.68047号 捷克的。数学。J。 32(107), 640-647 (1982).MSC公司:70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Novotn},捷克语。数学。J.32(107),640--647(1982;Zbl 0574.68047) 全文: 内政部 欧洲DML
于亚诺夫。一、。 程序等价变换的局部律的极限完备系统。 (俄语) Zbl 0574.68012号 离散数学,Banach Cent。出版物。7, 75-103 (1982). 审核人:M.Simersky先生 MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式 全文: 链接
V.N.卡斯亚诺夫。 大块方案类的完备性。 (俄语) 兹比尔0574.68011 程序系统和计算机使用效率,收集。科学。作品,新西伯利亚,1982,45-62(1982)。 审核人:A.P.斯托尔布什金 MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
塞杜金,S.G。 高斯方法的平行流线解释。 (俄语) Zbl 0574.65017号 维奇尔。修女。 94, 70-80 (1982).MSC公司:65平方英尺 68N25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Sedukhin},维奇尔。修女。94、70-80(1982;Zbl 0574.65017)
里扎德·贾尼基 关于并发关系和系统。 (英语) Zbl 0573.68027号 德累斯顿理工大学,Weiterbildungszentrum数学。Kybernetik Rechentech公司。信息概述。57/82, 60-66 (1982).MSC公司:68问题85 70年第68季度 PDF格式BibTeX公司 XML格式
普斯卡斯,Cs。 语言代数中的矩阵方程及其在自动机中的应用。 (英语) 兹比尔0573.68024 数学系。,卡尔·马克思经济大学。,布达普。1982-1, 77-89 (1982).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式
阿德尔·桑·维尔斯基,G.M。;A.O.斯利森科。 对于穷尽搜索的问题,我们能做些什么? (俄语) Zbl 0573.68014号 现代数学算法,II,Mater。国际交响乐团。,Urgench/UzSSR,1979,93-123(1982)。MSC公司:65年第68季度 68-02 PDF格式BibTeX公司 XML格式
Trytyshnikov,E.E。 关于一些代数问题的复杂性。 (俄语) Zbl 0573.65016号 数值分析的方法和算法,莫斯科1982,98-107(1982)。 审核人:J.Hřebíček MSC公司:65平方英尺 65年第68季度 PDF格式BibTeX公司 XML格式
里贾曼塔斯Plyushkyavichyus 关于正则命题和逆命题动态逻辑的对称化。 (俄语。英文摘要) 兹比尔0572.03008 Mat.Logika底漆。 2, 48-74 (1982). 审核人:A.斯托尔布什金 MSC公司:03B45号 68问题65 05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Plyushkyavichyus},Mat.Logika引文。2、48--74(1982;Zbl 0572.03008)
桂树,Masashi 部分有序自动机集的特征。 (英语) Zbl 0571.68038号 数学系。,卡尔·马克思经济大学。,布达普。1982-1, 45-56 (1982). 审核人:G.奥曼 MSC公司:70年第68季度 06年06月06日 PDF格式BibTeX公司 XML格式
阿尼西莫夫。 Church-Rosser变换和处理树的可解性。 (俄语) Zbl 0571.68034号 现代数学算法,II,Mater。国际交响乐团。,Urgench/UzSSR,1979,263-269(1982)。MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式
什维达罗娃,H。 通过依赖语法的方式描述ALGOL 60的语法。 (英语) Zbl 0569.68057号 布拉格公牛。数学。语言学家。 37, 29-52 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Švejdarová},布拉格公牛。数学。语言学家。37,29-52(1982;Zbl 0569.68057)
Phan Minh Dung公司 Ein neues Datenfluß模型。 (德语) Zbl 0569.68048号 德累斯顿理工大学,Weiterbildungszentrum数学。Kybernetik Rechentech公司。信息概述。57/82, 69-74 (1982).MSC公司:68问题85 60年第68季度 68N25号 PDF格式BibTeX公司 XML格式
佩克,我。 关于完整自动机的备注。 (英语) Zbl 0569.68043号 数学系。,卡尔·马克思经济大学。,布达普。1982/1, 69-76 (1982).MSC公司:70年第68季度 20立方米 20对25 PDF格式BibTeX公司 XML格式
Edsger W.Dijkstra。 关于分割二进制信号量的教程。 (英语) 兹伯利0569.68016 规划方法的理论基础,Lect。夏季课程注释。,Marktoberdorf/德国。1981年,北约高级研究所。,C、 数学。物理。科学。91, 555-564 (1982). 审核人:W.夸索维奇 MSC公司:68N25号 68问题65 PDF格式BibTeX公司 XML格式
V.N.萨拉耶夫。 布尔组合集的性质。 (俄语) Zbl 0567.94017号 应用随机搜索解决应用问题,收集。科学。Works,Kemerovo 1982,54-59(1982)。MSC公司:94立方厘米10 65年第68季度 PDF格式BibTeX公司 XML格式
拉兹洛·齐尔马兹 非标准程序运行和程序正确性。 (匈牙利语) Zbl 0567.68013号 Mat.笔记本电脑 30, 81-125 (1982). 审核人:E.克努特 MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Csirmaz},Mat.Lapok 30,81-125(1982;Zbl 0567.68013)
形式语言理论和自动机理论。1982年2月1日至3日在京都大学数学科学研究所举行的研讨会论文集。 (日语) Zbl 0567.68003号 RIMS Koky Do roku,458岁。京都:京都大学数学科学研究所。六、 第317页(1982年)。 MSC公司:68-06 00B25型 03-06 68号01 65年第68季度 PDF格式BibTeX公司 XML格式
Bajrasheva,V.R。 自动机转换的程度。 (俄语) Zbl 0567.03013号 维罗亚特。梅托迪·基伯恩。 18, 17-25 (1982). 审核人:A.A.穆林 MSC公司:05年3月 03日30分 03D75号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.R.Bajrasheva},维罗亚特。梅托迪·基伯恩。18、17——25(1982;Zbl 0567.03013) 全文: 欧洲DML
Afshar,Siroos K。 关于排列网络设计的复杂性。 (英语) Zbl 0566.94023号 SIGACT News 14,No.3,31-35(1982)。MSC公司:94C15号机组 94立方厘米10 65年第68季度 PDF格式BibTeX公司 XML格式
莱索金,M.M。;卢克扬扬科夫,K.F。;彼得罗夫斯基,R.G。 数学语言学导论。数学基础的语言应用。(Vvedenie v matematicheskuyu lingvistiku。Lingvisticheskoe prilozhenie osnov matematiki)。 (俄语。英文摘要) 兹伯利0566.68060 Akademiya Nauk BSSR公司。卡菲德拉·伊诺斯特兰尼赫·亚兹科夫(Kafedra inostrannykh yazykov)。明斯克:“Nauka i Tekhnika”。264 p.R.1.40(1982年)。MSC公司:65年第68季度 03B65号 PDF格式BibTeX公司 XML格式
Dömösi,P。;伊姆雷,B。 关于细胞自动机的分解。 (英语) Zbl 0566.68048号 数学系。,卡尔·马克思经济大学。,布达普。1982-2年,80-86年(1982年)。MSC公司:68问题80 70年第68季度 PDF格式BibTeX公司 XML格式
唐纳德·斯坦纳特。;斯蒂芬·韦斯(Stephen F.Weiss)。 正则语言的泵定理。 (英语) Zbl 0565.68070号 SIGACT News 14,No.1,36-37(1982)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
安东·尼霍尔特 优先关系:书目。 (英语) Zbl 0565.68066号 SIGACT News 14,No.2,9-19(1982)。MSC公司:65年第68季度 第68页第20页 00年1月15日 2012年第68季度 PDF格式BibTeX公司 XML格式
佩恩,古奥热 [所罗门·马库斯] 上下文语法。(格拉马提克上下文)。所罗门·马库斯的前言。 (罗马尼亚语。英文摘要) 兹伯利0565.68062 布库雷什蒂:罗马共和国社会党编辑学院。154 p.Lei 13.50(1982)。MSC公司:65年第68季度 68-02 68-01 PDF格式BibTeX公司 XML格式
塞雷金,I.A。 关于一种特殊形式的有限自动机的分解。 (俄语) Zbl 0565.68052号 复杂系统优化和控制的数学方法,Interuniv。收集。,加里宁1982,13-19(1982)。 审核人:A.V.阿尼西莫夫 MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式
普洛金,G.D。 关于概率不确定性的幂域(幻灯片副本)。 (英语) Zbl 0565.68050号 Les arbres en algèbre et en programmation,7ème Colloq.,里尔1982,271-287(1982)。 审核人:U.克莱姆 MSC公司:99年第68季度 68问题55 PDF格式BibTeX公司 XML格式
沃尔什,T.R.S。 单向无限带上的忙碌的海狸。 (英语) Zbl 0565.68048号 SIGACT News 14,No.1,38-43(1982)。MSC公司:2005年第68季度 03日第10天 PDF格式BibTeX公司 XML格式
卡雷尔·库利克 抽象/具体计算机自动机的计算理论。 (英语) Zbl 0565.68047号 SIGACT News 14,No.1,21-35(1982)。MSC公司:2005年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
乌韦州Schöning 关于NP-可分解集。 (英语) Zbl 0565.68045号 SIGACT News 14,No.1,18-20(1982)。MSC公司:65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式
M.昆泽。;蒂尔林,G。 字符串对的最大公共子序列。 (英语) Zbl 0564.68055号 数值数学与计算。第11届曼尼托巴省会议,温尼伯/马尼特。1981年,国会。Numerantium 34,299-311(1982)。 审核人:M.Armbrust先生 MSC公司:65年第68季度 94B60码 PDF格式BibTeX公司 XML格式
Ketty G.佩娃。;弗拉基米尔·托彭查罗夫(Vladimir V.Topencharov)。 关于带反馈的自动机的(n)元方法。 (英语) Zbl 0564.68043号 n元结构,程序。交响乐团。,斯科普里/南斯拉夫。1982, 35-46 (1982).MSC公司:70年第68季度 18B20型 PDF格式BibTeX公司 XML格式
亚历山大·拉杜(Alexandru Gh Radu)。 拓扑理论。第二卷。(Teoria topousurilor.第二卷)。 (罗马尼亚语。英文摘要) Zbl 0564.18008号 布库雷什蒂:伊迪图拉学院R.S.Románia。第272页(1982年)。 审核人:M.ötefnescu(马尼拉·特夫内斯库) MSC公司:18对25 03G30型 65年第68季度 18-02 PDF格式BibTeX公司 XML格式
克里斯特·塞格伯格 动态逻辑中的“之后”和“期间”。 (英语) Zbl 0564.03018号 《哲学学报》。芬恩。 35, 203-228 (1982). 审核人:O.索诺贝 MSC公司:03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{K.Segerberg},《哲学学报》。芬恩。35203-228(1982;Zbl 0564.03018)
弗吉尼亚州布埃维奇。 根据A-预完成类,自动机的A-完全性准则。 (俄语) Zbl 0563.94024号 离散数学,Banach Cent。出版物。第7卷,第53-63页(1982年)。 审核人:利沃夫斯基 MSC公司:94立方厘米10 65年第68季度 PDF格式BibTeX公司 XML格式 全文: 链接
I.R.纳西罗夫。 测试多级通道是否为异步有限自动机。 (俄语) Zbl 0562.94008号 维罗亚特。梅托迪·基伯恩。 18, 70-73 (1982). 审核人:A.A.穆林 MSC公司:94A40型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{I.R.Nasyrov},Veroyatn。梅托迪·基伯恩。18,70-73(1982年;兹bl 0562.94008) 全文: 欧洲DML
塞瓦斯特亚诺夫,S.V。 三个台阶情况下约翰逊和阿克斯-弗里德曼问题的估计算法。 (俄语) Zbl 0562.90029号 向上。修女。 22, 51-57 (1982). 审核人:E.加博维奇 MSC公司:90B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Sevast’yanov},Upr。修女。22、51-57(1982;Zbl 0562.90029)
道格拉斯·埃利奥特(Douglas F.Elliott)。;Rao,K.Ramamohan 快速变换。算法、分析、应用。 (英语) Zbl 0562.65097号 奥兰多等:学术出版社(Harcourt Brace Jovanovich,出版商)。二十二、 第488页(1982年)。 审核人:A.G.夯实 MSC公司:65T40型 65-02 65楼30 20D60年 第42页第15页 60G35型 94甲12 68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式
乌尔里奇·戈尔兹;普里塞·卢茨 通用单元空间的Petri网实现。 (英语) Zbl 0559.68056号 Inf.控制 53, 121-138 (1982). 审核人:H.Müller先生 MSC公司:68问题85 68问题80 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Golze}和\textit{L.Priese},Inf.Control 53,121--138(1982;Zbl 0559.68056) 全文: 内政部
Staroswiecki,M。;托罗,V。 通过典型分析对复杂系统进行结构分析。 (英语) Zbl 0558.93002号 系统。科学。 8,编号2-3,49-60(1982).MSC公司:93A10号 70年第68季度 94甲17 93甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Staroswiecki}和\textit{V.Toro},系统。科学。8,编号2--3,49-60(1982;Zbl 0558.93002)
Yu Bessonov。E.公司。;斯科罗波加托夫,V.A。 关于图的递归剥离方案族。 (俄语) Zbl 0558.68058号 维奇尔。修女。 92, 3-49 (1982). 审核人:P.地狱 MSC公司:68兰特 05C35号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.E.Bessonov}和\textit{V.A.Skorobogatov},Vychils。修女。92、3-49(1982年;Zbl 0558.68058)
A.A.库米特。 有限自动机的级数分解。(Posledovatel'naya dekompozitsiya konechnykh avtomatov)。 (俄语) 兹伯利0558.68049 Akademiya Nauk Latvijskoj SSR公司。埃勒克特罗尼基研究所(Institute Ehlektroniki i Vychislitel’noj Tekhniki)。里加:“齐纳通”。224 p.R.1.30(1982年)。 审核人:A.阿尔达姆 MSC公司:70年第68季度 68-02 PDF格式BibTeX公司 XML格式
艾西克,佐尔坦 迭代理论和流程图。 (英语) Zbl 0558.68007号 数学系。,卡尔·马克思经济大学。,布达普。1982-2, 99-102 (1982). 审核人:S.布鲁姆 MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式
A.伊藤。;Inone,K。;塔卡纳米,I。;H.谷口。 只有普适状态的二维交替图灵机。 (英语) Zbl 0557.68037号 Inf.控制 55, 193-221 (1982). 审核人:潘丁迪乌 MSC公司:2005年第68季度 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{A.Ito}等人,《信息控制》55193-221(1982年;Zbl 0557.68037) 全文: 内政部
尤尔根·达索 Weitere Bemerkungen zu einem modifizierten Vollständigkeitsbegriff在einer代数von Automatenabbildungen中。 (德语) Zbl 0556.68019号 罗斯托克数学。科洛克。 21, 99-110 (1982). 审核人:卡鲁日宁 MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow},罗斯托克数学。科洛克。21、99——110(1982;Zbl 0556.68019)
伊雷纳游击队 关于堆栈树自动机。 (英语) Zbl 0555.68045号 《Les arbres en algèbre et en programmation》,《7ème Colloq.》,里尔,1982年,159-178(1982)。 审核人:M.斯坦比 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
Dömösi,P。 关于同态(alpha_0)-完备自动机系统。 (英语) Zbl 0555.68031号 数学系。,卡尔·马克思经济大学。,布达普。1982-1, 57-68 (1982).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式
巴巴桑尼,I。 关于自动机的输入自同构。 (英语) Zbl 0555.68029号 数学系。,卡尔·马克思经济大学。,布达普。1982-1, 91-104 (1982).MSC公司:70年第68季度 20立方米 PDF格式BibTeX公司 XML格式
索洛夫·埃夫(V.D.Solov'ev)。 正式翻译。 (俄语) 兹伯利0555.68013 维罗亚特。梅托迪·基伯恩。 18, 101-109 (1982). 审核人:A.V.阿尼西莫夫 MSC公司:68问题65 03D45号 03D20日 PDF格式BibTeX公司 XML格式引用 \文本{V.D.Solov'ev},Veroyatn。梅托迪·基伯恩。18、101--109(1982年;Zbl 0555.68013) 全文: 欧洲DML
范·列文(Jan van Leeuwen);安内克·A·斯科恩。 在飞机上解开旅行推销员之旅。 (英语) Zbl 0553.90103号 计算机科学中的图形概念,Proc。第七届会议,林茨/奥地利,1981年,87-98(1982年)。MSC公司:90立方厘米 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式
伊姆雷,B。 关于自动机的产品。 (英语) Zbl 0553.68036号 数学系。,卡尔·马克思经济大学。,布达普。1982-1, 1-13 (1982).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式
克劳斯·伯克林。;埃尔弗里德·费尔 作为函数式编程语言基础的lambda-calculus的一致扩展。 (英语) Zbl 0553.68025号 Inf.控制 55, 89-101 (1982). 审核人:J.伯格斯特拉 MSC公司:68问题65 03B40型 68问题55 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.J.Berkling}和\textit{E.Fehr},Inf.Control 55,89--101(1982;Zbl 0553.68025) 全文: 内政部
迈鲍姆,T.S.E。 重新审视IO和OI。 (英语) Zbl 0552.68066号 《Les arbres en algèbre et en programmation》,《7ème Colloq.》,里尔,1982年,179-210年(1982年)。MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式
B·中野。;Y.高原。 有限状态自动机的特征。 (英语) Zbl 0552.68054号 系统。科学。 8,编号2-3,37-47(1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Nakano和\textit{Y.Takahara},系统。科学。8,编号2--3,37-47(1982;Zbl 0552.68054)
D.拉扎德。 关于多项式因式分解。 (英语) Zbl 0552.68048号 计算机代数,EUROCAM’82,Conf.Marseille/France 1982,Lect。注释计算。科学。144, 126-134 (1982).MSC公司:68瓦30 65年第68季度 2006年11月 PDF格式BibTeX公司 XML格式
乔治·劳森 写入修复了交错数据库事务的序列化问题。 (英语) Zbl 0549.68097号 计算机科学中的图论概念,Proc。第七届会议,林茨/奥地利,1981年,207-218年(1982年)。MSC公司:68第20页 65年第68季度 PDF格式BibTeX公司 XML格式
巴蒂尼,C。;A.达特里。;莫斯卡里尼,M。 用于自顶向下和自下而上生成非循环关系模式的正式工具。 (英语) Zbl 0549.68096号 计算机科学中的图形概念,Proc。第七届会议,林茨/奥地利1981年,219-229(1982年)。MSC公司:68第20页 65年第68季度 05C65号 68兰特 PDF格式BibTeX公司 XML格式
阿尔弗雷德·施密特 报告几何夹杂物,并应用于隐藏线问题。 (英语) Zbl 0549.68070号 计算机科学中的图形概念,Proc。第七届会议,林茨/奥地利,1981年,135-144(1982年)。MSC公司:68卢比99 65年第68季度 PDF格式BibTeX公司 XML格式
B.莫尼恩。 确定偶数长度的最短周期的复杂性。 (英语) Zbl 0549.68065号 计算机科学中的图形概念,Proc。第八届会议,Neunkirchen/Ger。1982, 195-208 (1982).MSC公司:68兰特 65年第68季度 05C38号 PDF格式BibTeX公司 XML格式
B.莫尼恩。;雷纳德·舒尔茨 反馈顶点集问题的四种近似算法。 (英语) Zbl 0549.68064号 计算机科学中的图论概念,Proc。第七届会议,林茨/奥地利,1981年,315-326(1982年)。MSC公司:68兰特 65年第68季度 PDF格式BibTeX公司 XML格式
穆勒,H。 稀疏图层次上顶点着色问题的复杂性。 (英语) Zbl 0549.68063号 计算机科学中的图形概念,Proc。第八届会议,Neunkirchen/Ger。1982, 209-223 (1982).MSC公司:68兰特 65年第68季度 05C15号 PDF格式BibTeX公司 XML格式
托巴索娃,V.P。 机器胜于模型。 (俄语) Zbl 0549.68054号 复杂系统优化和控制的数学方法,Interuniv。收集。,加里宁1982,3-13(1982)。 审核人:V.库贝克 MSC公司:65年第68季度 03C99号 PDF格式BibTeX公司 XML格式
Thathachar,M.A.L.博士。;Ramakrishnan,K.R。 使用学习自动机团队进行在线优化。 (英语) Zbl 0549.68050号 数字控制理论与应用,Proc。IFAC交响乐团。,新德里1982,297-302(1982)。 审核人:H.基丁 MSC公司:68T05型 91年12月 90立方厘米 65年第68季度 65K10码 91A15型 PDF格式BibTeX公司 XML格式
洛杉矶斯科尔尼亚科夫。 随机行为和conmodules。 (英语) 兹比尔0549.68049 半群论坛 25, 269-282 (1982). 审核人:W.Brakemeier公司 MSC公司:65年第68季度 18B20型 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Skornyakov},半群论坛25,269--282(1982;Zbl 0549.68049) 全文: 内政部 欧洲DML
弗雷瓦尔德,R.V。 当有限概率自动机成为确定性时,状态数量的增加。 (英语。俄文原件) Zbl 0549.68047号 自动。控制计算。科学。 第16页,第3期,33-35页(1982年); Avtom翻译。维奇尔。泰克。1982年,第3期,第39-42页(1982年)。 审核人:W.Brakemeier公司 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Frejvald},自动。控制计算。科学。16,第3号,33-35(1982;Zbl 0549.68047);Avtom翻译。维奇尔。泰克。1982年,第3期,39-42(1982)
Buj Min Chi公司;乐光T'yau 关于数学规划在部分自动机定义的噪声稳定补充问题中的应用。 (俄语) 兹伯利0549.68046 维奇尔。泰克。沃普。基伯恩。 18, 153-172 (1982). 审核人:H.基丁 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Buj Min Chi}和\textit{Le Kuang T'yau},维奇尔。泰克。沃普。基伯恩。18、153--172(1982年;Zbl 0549.68046)
贝拉·贝尼 关于概率图L系统。 (英语) Zbl 0549.68045号 数学系。,卡尔·马克思经济大学。,布达普。1982-2, 47-58 (1982).MSC公司:2012年第68季度 92B05型 PDF格式BibTeX公司 XML格式
A.布达。 程序机器等价问题的可解性。 (英语。俄文原件) Zbl 0549.68042号 控制论 18, 311-320 (1982); 译自Kibernetika 1982,第3期,38-44(1982)。MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Buda},控制论18,311--320(1982;Zbl 0549.68042);翻译自Kibernetika 1982,第3期,第38-44期(1982年) 全文: 内政部
Dan A.Simovici。 关于图计算复杂性的几点评论。 (英语) Zbl 0549.68040号 安提恩。Al.I.Cuza IașI大学,N.Ser。,第ț节。国际航空公司 28,No.2,89-96(1982). 审核人:W.R.Nico先生 MSC公司:65年第68季度 03D60年 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Simovici},安提恩。Al.I.Cuza IașI大学,N.Ser。,第ț节。Ia 28,No.2,89--96(1982;Zbl 0549.68040)
J.A.伯格斯特拉。;J.V.塔克。 霍尔逻辑的表达能力和完整性。 (英语) Zbl 0549.68021号 J.计算。系统。科学。 25, 267-284 (1982). 审核人:J.-J.Ch.梅耶 MSC公司:68问题65 60年第68季度 03D60年 03C35号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},J.Compute。系统。科学。25267--284(1982;Zbl 0549.68021) 全文: 内政部 链接
迪什坎特,G.P。 数据库的非经典逻辑。 (俄语) Zbl 0548.68097号 复杂系统优化和控制的数学方法,国际。收集。,加里宁1982185-190(1982)。MSC公司:68第20页 68问题65 PDF格式BibTeX公司 XML格式
Turkin,S.V.公司。 Codd字母表达式和谓词演算。 (俄语) Zbl 0548.68096号 复杂系统优化和控制的数学方法,Interuniv。收集。,加里宁1982190-194(1982)。MSC公司:68第20页 68问题65 03B10号机组 PDF格式BibTeX公司 XML格式
A.贝托尼。;G·莫里。;北萨巴迪尼。 上下文无关的跟踪语言。 (英语) Zbl 0548.68072号 Les arbres en algèbre et en programmation,7ème Colloq.,里尔1982,32-42(1982)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
M.K.奇尔科夫。 关于pi自动机嵌入i自动机的问题。 (英语) Zbl 0548.68057号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 3, 53-62 (1982). 审核人:S.M.戈伯斯坦 MSC公司:70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Chirkov},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。3、53-62(1982年;Zbl 0548.68057)