A.哈贝尔。;Kreowski,H.-J。;劳特曼,C。 相容图、有限图和归纳图属性的比较。 (英语) Zbl 0771.68079号 西奥。计算。科学。 110,第1期,145-168(1993).MSC公司:2012年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Habel}等人,Theor。计算。科学。110,第1号,145--168(1993;Zbl 0771.68079) 全文: 内政部
Joaquín Tey 在\({1,2,\dots,s\}^n\)中给定度量的单位球的特征。 (西班牙语。英文摘要) Zbl 0868.68071号 国立大学An.Inst.Mat。奥托恩。梅克斯。 33, 35-42 (1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Tey},国立大学材料研究所。奥托恩。墨西哥。33、35-42(1993年;Zbl 0868.68071)
利夫切克,A.B。 查询语言的完整性。 (英语。俄文原件) Zbl 0875.68366号 程序。计算。柔和。 19,第2期,51-60(1993); 译自Programmirovanie 1993,第2期,31-42(1993)。MSC公司:第68页,共15页 65年第68季度 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Livchak},程序。计算。柔和。19,第2号,51--60(1993;Zbl 0875.68366);译自Programmirovanie 1993,No.2,31-42(1993)
加洛比亚努,C。 模式识别中的插值。 (英语) Zbl 0855.68080号 自动。计算。申请。数学。 第2期,第126-135页(1993年).MSC公司:68吨10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Jalobeanu},自动。计算。申请。数学。2,第2号,126--135(1993;Zbl 0855.68080)
彼得·扬查尔 非确定性遗忘自动机不如确定性线性有界自动机强大。 (英语) Zbl 0853.68118号 数学表演。通知。俄斯特拉夫大学。 167-73(1993年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔},《数学学报》。通知。奥斯特拉夫大学。1、67-73(1993年;Zbl 0853.68118) 全文: 欧洲DML
阿德里安·阿塔纳西乌;维克托·米特拉纳 单词和语言的平行替换。 (英语) 兹伯利0840.68065 安提斯币。Al.I.Cuza IașI大学。努阿,Inf。 2, 37-43 (1993).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Atanasiu}和\textit{V.Mitrana},安提因。Al.I.Cuza IașI大学。诺厄,Inf.2,37-43(1993;Zbl 0840.68065)
约瑟夫·格鲁斯卡;那不勒斯,玛格丽塔;多梅尼科·帕伦特 收缩二叉树自动机的最小化和简洁性。 (英语) Zbl 0840.68076号 安提斯币。Al.I.Cuza IașI大学。努阿,Inf。 2, 13-25 (1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gruska}等人,An.Științ。Al.I.Cuza IașI大学。诺厄,Inf.2,13--25(1993;Zbl 0840.68076)
卡里,L。;阿尔巴马特埃斯库。;A.萨洛马。;鲍恩,G。 带有神谕的语法。 (英语) Zbl 0840.68070号 安提斯币。Al.I.Cuza IașI大学。努阿,Inf。 2, 3-12 (1993).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kari}等人,An.Științ。Al.I.Cuza IașI大学。Nouă,Inf.2,3-12(1993年;Zbl 0840.68070)
多米尼克·佩林 正在同步自动机。 (英语) Zbl 0838.68081号 Capocelli,Renato(编辑)等人,《序列II》。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约州纽约市:Springer-Verlag。470-476 (1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Perrin},in:序列II。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约州纽约市:Springer-Verlag。470--476(1993年;Zbl 0838.68081)
R.蒙塔尔巴诺。;A.雷斯蒂沃。 恒星高度是不可约自动机的一个问题。 (英语) Zbl 0839.68064号 Capocelli,Renato(编辑)等人,《序列II》。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约州纽约市:Springer-Verlag。457-469 (1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Montalbano}和\textit{A.Restivo},in:序列II。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约州纽约市:Springer-Verlag。457--469(1993年;Zbl 0839.68064)
头部,汤姆;安德烈亚斯·韦伯 通过有限传感器确定代码相关属性。 (英语) Zbl 0838.68067号 Capocelli,Renato(编辑)等人,《序列II》。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上发表的论文。纽约州纽约市:Springer-Verlag。260-272 (1993).MSC公司:65年第68季度 第68页第25页 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{T.Head}和\textit{A.Weber},在:序列II中。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约州纽约市:Springer-Verlag。260-272(1993;Zbl 0838.68067)
古斯菲尔德,丹;Gad M.兰道。;巴鲁克·希伯 全对后缀前缀问题的一种有效算法。 (英语) Zbl 0837.94015号 Capocelli,Renato(编辑)等人,《序列II》。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约州纽约市:Springer-Verlag。218-224 (1993).MSC公司:94A45型 65年第68季度 68宽10 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{D.Gusfield}等人,in:序列II。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约州纽约市:Springer-Verlag。218--224(1993年;Zbl 0837.94015)
埃文,西蒙;阿米·利特曼 阿曲宾乘数的系统设计和解释。 (英语) Zbl 0960.68608号 Capocelli,Renato(编辑)等人,《序列II》。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约州纽约市:Springer-Verlag。189-202 (1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Even}和\textit{A.Litman},in:序列II。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约州纽约市:Springer-Verlag。189-202(1993年;Zbl 0960.68608)
玛丽亚·福里希 森林语言的矩阵表示。 (英语) Zbl 0853.68117号 泽兹。恶心。唯一。贾吉尔。 1091,Pr.Inf.5,101-112(1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Fory shi},Zesz。恶心。唯一。贾吉尔。,Pr.Inf.1091(5),101-112(1993;Zbl 0853.68117)
库利克,B.A。 基于cortege代数的逻辑编程系统。 (英语。俄文原件) Zbl 0835.68109号 J.计算。系统。科学。国际。 33,第2期,159-170(1995); Izv的翻译。罗斯。阿卡德。泰克,瑙克。基伯恩。1993年,第3期,226-239(1993)。MSC公司:68T27型 68N17号 65年第68季度 68层35 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Kulik},J.计算。系统。科学。国际33,第2号,159--170(1993;Zbl 0835.68109);Izv的翻译。罗斯。阿卡德。泰克,瑙克。基伯恩。1993年,第3期,226--239(1993)
马丁·库特里布 压下增大的多自体瘤。(Kellerer-weiterte Polyautomaten) (德语) Zbl 0866.68067号 Gießen:大学,FB数学。第151页(1993年)。MSC公司:65年第68季度 2005年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib},Kellerer-weiterte Polyautomaten。Gießen:大学,FB数学。(1993年;兹bl 0866.68067)
雅克·布兰克·塔隆 使用句法技术识别和生成分形模式。 (英语) Zbl 0831.68100号 Green,David(编辑)等人,《复杂系统:从生物学到计算》。阿姆斯特丹:IOS出版社。141-152(1993年)。MSC公司:68吨10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Blanc-Talon},in:复杂系统:从生物学到计算。阿姆斯特丹:IOS出版社。141-152(1993年;兹bl 08316.8100)
斯塔夫罗夫斯基,A.B。;O.Yu Pavliv。 DM-自动机和无上下文语言类。 (英语。俄文原件) Zbl 0834.68082号 赛博。系统。分析。 29,第1期,第12-19页(1993年); 翻译自Kibern。修女。分析。1993年,第1期,20-29(1993)。MSC公司:70年第68季度 65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Stavrovskij}和\textit{O.Yu.Pavliv},Cybern。系统。分析。29,No.1,12--19(1993;Zbl 0834.68082);翻译自Kibern。修女。分析。1993年,第1期,第20--29期(1993年) 全文: 内政部
Boian、Florian Mircea;亚历山大·万恰 Parbegin-Parend构造的实施方案。 (英语) Zbl 0850.68238号 Babeș-Bolyai大学数学研究生。 38,第3期,7-10(1993).MSC公司:65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Boian}和\textit{A.Vancea},贝贝大学数学系。38,编号3,7--10(1993;Zbl 0850.68238)
B.F.梅尔尼科夫。 关于顺序上下文无关语言和语法的分类。 (英语。俄文原件) Zbl 0828.68093号 莫斯克。大学计算机。数学。赛博。 1993年,第3期,59-63(1993); 由Vestn翻译。莫斯科。州立大学。XV 1993,第3期,64-68(1993)。MSC公司:65年第68季度 2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{B.F.梅尔尼科夫},莫斯克。大学计算机。数学。赛博。1993年,第3、1号(1993;Zbl 0828.68093);由Vestn翻译。莫斯科。州立大学。XV 1993年,第3期,64--68(1993)
弗拉基米尔·科罗柳克。;阿纳托利·图宾(Anatoly F.Turbin)。 大系统状态集总的数学基础。Transl.公司。来自俄罗斯和更新。V.V.Zayats和Y.A.Atanov。 (英语) Zbl 0834.60001号 数学及其应用(多德雷赫特). 264. 多德雷赫特:Kluwer学术出版社。x、 第278页(1993年)。 审核人:G.Oprišan(布库雷什蒂) MSC公司:60-02 60 K10 60 K15 60水25 47D07型 62号05 60K25码 93埃99 65年第68季度 47D03型 82磅05 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Korolyuk}和\textit{A.F.Turbin},大系统状态集总的数学基础。Transl.公司。来自俄罗斯和更新。V.V.Zayats和Y.A.Atanov。多德雷赫特:Kluwer学术出版社(1993;Zbl 0834.60001)
伊奥安·马卡里。 天基概率自动机和多头概率自动机之间的联系。 (英语) Zbl 0939.68688号 Felea,V.(编辑)等人,罗马尼亚计算机科学研讨会。1993年11月12日至13日,罗马尼亚拉什,第九届ROSYCS研讨会。诉讼程序。伊阿什伊:“A.i.Cuza”伊阿什依大学计算机科学系,321-334(1993)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Macarie},摘自:罗马尼亚计算机科学研讨会。1993年11月12日至13日,罗马尼亚伊阿西,第九届ROSYCS研讨会。诉讼程序。伊阿什伊:“A.i.Cuza”伊阿什依大学计算机科学系。321--334(1993年;Zbl 0939.68688)
科约卡鲁,S。;Evstunin,M。;乌夫纳罗夫斯基,V。 关于高度屈折语言的形态词汇。 (英语) Zbl 0939.68691号 Felea,V.(编辑)等人,罗马尼亚计算机科学研讨会。1993年11月12日至13日,罗马尼亚伊阿西,第九届ROSYCS研讨会。诉讼程序。伊阿什伊:“A.i.Cuza”伊阿什依大学计算机科学系,112-125(1993)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cojocaru}等人,in:罗马尼亚计算机科学研讨会。1993年11月12日至13日,罗马尼亚拉什,第九届ROSYCS研讨会。诉讼程序。伊阿什伊:“A.i.Cuza”伊阿什依大学计算机科学系。112-125(1993;Zbl 0939.68691)
加布里埃尔·乔巴努 在\(lambda\beta\)-演算的\(I\)-模型上。 (英语) Zbl 0844.68075号 Felea,V.(编辑)等人,罗马尼亚计算机科学研讨会。1993年11月12日至13日,罗马尼亚拉什,第九届ROSYCS研讨会。诉讼程序。Iaši:“A.i.Cuza”Iañi大学计算机科学系,80-93(1993)。MSC公司:第68季度55 65年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu},摘自:罗马尼亚计算机科学研讨会。1993年11月12日至13日,罗马尼亚拉什,第九届ROSYCS研讨会。诉讼程序。伊阿什伊:“A.i.Cuza”伊阿什依大学计算机科学系。80-93(1993;Zbl 0844.68075)
阿德里安·阿塔纳西乌;维克托·米特拉纳 单词和语言的平行替换。 (英语) Zbl 0842.68046号 Felea,V.(编辑)等人,罗马尼亚计算机科学研讨会。1993年11月12日至13日,罗马尼亚拉什,第九届ROSYCS研讨会。诉讼程序。Iaşi:“A.i.Cuza”Iaşi大学计算机科学系,24-30(1993)。MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Atanasiu}和\textit{V.Mitrana},in:罗马尼亚计算机科学研讨会。1993年11月12日至13日,罗马尼亚伊阿西,第九届ROSYCS研讨会。诉讼程序。伊阿什伊:“A.i.Cuza”伊阿什依大学计算机科学系。24-30(1993年;Zbl 0842.68046)
Yu Borodyanskij。M。;伯金,M.S。 字母运算符和算法。 (英语。俄文原件) Zbl 0822.03021号 赛博。系统。分析。 29,第3号,338-349(1993); 翻译自Kibern。修女。分析。1993年,第3期,42-57(1993)。MSC公司:05年3月 2005年第68季度 03日第10天 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.M.Borodyanskij}和\textit{M.S.Burgin},Cybern。系统。分析。29,第3、1号(1993;Zbl 0822.03021);翻译自Kibern。修女。分析。1993年,第3期,42-57(1993) 全文: 内政部
Chebotarev,A.N。 自动机系统功能规范的方法。一、。 (英语。俄文原件) Zbl 0939.68709号 赛博。系统。分析。 29,第3号,330-337(1993); 翻译自Kibern。修女。分析。1993年,第3期,31-42(1993)。MSC公司:68问题65 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。29,No.3,1(1993;Zbl 0939.68709);翻译自Kibern。修女。分析。1993年,第3期,31-42(1993) 全文: 内政部
利索维克,L.P。 程序模式和形式语言的包含和等价问题。 (英语。俄文原件) 兹伯利0939.68689 赛博。系统。分析。 29,第2期,202-209(1993); 翻译自Kibern。修女。分析。1993年,第2期,第62-73页(1993年)。MSC公司:65年第68季度 60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Lisovik},Cybern。系统。分析。29,No.2,1(1993;Zbl 0939.68689);翻译自Kibern。修女。分析。1993年,第2号,第62--73号(1993年) 全文: 内政部
邱伟德 正规子幺半群和强码。 (中文) Zbl 07778613号 数学。应用。 6,第1期,92-95(1993).MSC公司:65年第68季度 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{W.De Qiu},数学。申请。6,编号1,92--95(1993;Zbl 07778613)
乔安娜·科瓦尔斯卡 最终控制的T0L语言。 (英语) Zbl 0824.68062号 J.信息处理。赛博。 29,第6期,381-388(1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Kowalska},J.Inf.过程。赛博。29,第6号,381--388(1993;Zbl 0824.68062)
Jürgensen,H。;萨洛马,K。;Yu,S。 代码间属性的可决定性。 (英语) Zbl 0824.68061号 J.信息处理。赛博。 29,第6号,375-380(1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Jürgensen}等人,J.Inf.过程。赛博。29,第6号,375--380(1993;Zbl 0824.68061)
Gregor弗里茨 随机转移图中的可达性。 (英语) Zbl 0826.68079号 J.信息处理。赛博。 29,第5期,269-281(1993).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Fritz},J.Inf.过程。赛博。29,第5号,269--281(1993;Zbl 0826.68079)
亨宁费尔瑙 具有有限并行性的传播系统的成人语言。 (英语) Zbl 0826.68071号 J.信息处理。赛博。 29,第5期,249-267(1993).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau},J.Inf.过程。赛博。29,第5号,249--267(1993;Zbl 0826.68071)
伊斯莫哈卡拉 判定正则、线性和无上下文语言的同构等价问题的有效算法。 (英语) Zbl 0824.68058号 J.信息处理。赛博。 29,第4期,209-213(1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Hakala},J.Inf.过程。赛博。29,第4号,209--213(1993;Zbl 0824.68058)
迪特尔·霍夫鲍尔;胡贝尔,玛丽亚 使用测试集计算线性化。 (英语) Zbl 1508.68158号 Rusinovitch,Michaöl(编辑)等人,《条件项重写系统》。第三届国际研讨会,CTRS-92,Pont-a-Mousson,法国,1992年7月8-10日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。656, 287-301 (1993).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Hofbauer}和\textit{M.Huber},莱克特。注释计算。科学。656287--301(1993年;Zbl 1508.68158) 全文: 内政部
格雷戈里·库切洛夫;穆罕默德·塔基内 基本范式语言的正则性和相关性质的判定。 (英语) Zbl 1508.68163号 Rusinovitch,Michaöl(编辑)等人,《条件项重写系统》。第三届国际研讨会,CTRS-92,Pont-a-Mousson,法国,1992年7月8-10日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。656, 272-286 (1993).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kucherov}和\textit{M.Tajine},莱克特。注释计算。科学。656272-286(1993年;Zbl 1508.68163) 全文: 内政部
Jean-Claude拉乌尔 递归定义的树转导。 (英语) Zbl 1503.68176号 克洛德·基什纳(编辑),《重写技术与应用》。1993年6月16日至18日,加拿大蒙特利尔,RTA-93第五届国际会议。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。690, 343-357 (1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.拉乌尔},莱克特。注释计算。科学。690343-357(1993年;Zbl 1503.68176) 全文: 内政部
罗尔夫·巴科芬 特征逻辑中的常规路径表达式。 (英语) Zbl 1503.68088号 克洛德·基什纳(编辑),《重写技术与应用》。1993年6月16日至18日,加拿大蒙特利尔,RTA-93第五届国际会议。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。690, 121-135 (1993).MSC公司:2012年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen},莱克特。注释计算。科学。690121--135(1993年;Zbl 1503.68088) 全文: 内政部 内政部
Jerzy Tiuryn;米切尔·旺德 使用递归类型和原子子类型进行类型重建。 (英语) Zbl 1497.68127号 Gaudel,Marie-Claude(编辑)等人,TAPSOFT’93:软件开发的理论和实践。第四届CAAP/FASE国际联席会议,法国奥赛,1993年4月13日至17日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。668, 686-701 (1993).MSC公司:68号30 03B40型 03B70号 2017年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Tiuryn}和\textit{M.Wand},莱克特。注释计算。科学。668686-701(1993年;Zbl 1497.68127) 全文: 内政部
沃尔夫冈·托马斯 理论计算机科学中的Ehrenfeucht-Fraíssé博弈(扩展抽象)。 (英语) Zbl 1497.03049号 Gaudel,Marie-Claude(编辑)等人,TAPSOFT’93:软件开发的理论和实践。第四届CAAP/FASE国际联席会议,法国奥赛,1993年4月13日至17日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。668, 559-568 (1993).MSC公司:03B70号 03B45号 03C07号机组 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas},莱克特。注释计算。科学。668559-568(1993年;Zbl 1497.03049) 全文: 内政部
丹尼尔·博基尔;达米安·尼文斯基 具有计数约束的无限树上的自动机。 (英语) Zbl 1497.68249号 Gaudel,Marie-Claude(编辑)等人,TAPSOFT’93:软件开发的理论和实践。第四届CAAP/FASE国际联席会议,法国奥赛,1993年4月13日至17日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。668, 266-281 (1993).MSC公司:65年第68季度 05年3月 03E10年 PDF格式BibTeX公司 XML格式引用 \路易斯安那州,textit{D.Beauquier}和\textit{D.Niwinn ski}。注释计算。科学。668266-281(1993年;Zbl 1497.68249) 全文: 内政部
赫尔穆特·塞德尔 功能树转导何时具有确定性? (英语) Zbl 1497.68280号 Gaudel,Marie-Claude(编辑)等人,TAPSOFT’93:软件开发的理论和实践。第四届CAAP/FASE国际联席会议,法国奥赛,1993年4月13日至17日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。668, 251-265 (1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl},莱克特。注释计算。科学。668251-265(1993年;Zbl 1497.68280) 全文: 内政部
肯尼思·劳登。 编程语言:原理与实践。 (英语) Zbl 0832.68006号 波士顿:PWS-Kent出版公司。xii,641 p.(1993)。 审核人:C.Bársan(伊阿什) MSC公司:68甲15 68-01 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Louden},编程语言:原理与实践。波士顿:PWS-Kent出版公司(1993;Zbl 0832.68006)
桑达尔·拉詹(B.Sundar Rajan)。;Siddiqi,M.U。 通过\(\mathbb转换BCH码的解码{Z}_m)。 (英语) Zbl 0829.94008 国际电子杂志。 75,第6号,1043-1054(1993).MSC公司:94B15号机组 11T71型 94B35码 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Sundar Rajan}和\textit{M.U.Siddiqi},国际电子杂志。75,第6号,1043--1054(1993;Zbl 0829.94008) 全文: 内政部
科赞,D。 部分自动机和有限生成同余:Nerode定理的扩展。 (英语) Zbl 0824.68076号 Crossley,John N.(编辑)等人,《逻辑方法》。为了纪念阿尼尔·内罗德60岁生日。巴塞尔:Birkhä用户。掠夺。计算。科学。申请。日志。12490-511(1993年)。MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen},程序。计算。科学。申请。日志。12490-511(1993年;兹bl 0824.68076)
Jordzhev,K。 一种识别无上下文语言的(n^2)算法。 (英语。俄文原件) Zbl 0941.68608号 赛博。系统。分析。 29,第6期,922-927(1993); 翻译自Kibern。修女。分析。1993年,第6期,159-164(1993)。MSC公司:65年第68季度 65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{K.Jordzhev},Cybern。系统。分析。29,第6号,159--164(1993;Zbl 0941.68608);翻译自Kibern。修女。分析。1993年,第6号,159--164(1993)
鲍里森科,V.I。 (n)-带自动机的充分等价条件。 (英语。俄文原件) Zbl 0941.68607号 赛博。系统。分析。 29,第5期,656-662(1993); 翻译自Kibern。修女。分析。1993年,第5期,33-42(1993)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Borisenko},Cybern。系统。分析。29,第5号,33-42(1993;Zbl 0941.68607);翻译自Kibern。修女。分析。1993年,第5号,第33-42号(1993年)
Chebotarev,A.N。 关于自动机系统功能规范的方法。三、。 (英语。俄文原件) 兹比尔0823.68070 赛博。系统。分析。 29,第5期,631-640(1993); 翻译自Kibern。修女。分析。1993年,第5期,第3-17页(1993年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。29,第5号,第3-17号(1993;Zbl 0823.68070);翻译自Kibern。修女。分析。1993年,第5号,第3--17号(1993) 全文: 内政部
迪特马尔·瓦特詹 限制ET0L系统的监管。 (英语) Zbl 0826.68070号 国际期刊计算。数学。 47,No.1-2,29-41(1993).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Wätjen},国际计算杂志。数学。47,编号1--2,29-41(1993;Zbl 0826.68070) 全文: 内政部
埃兹贝特·苏哈伊·瓦尔朱 关于具有局部和全局上下文条件的语法。 (英语) Zbl 0824.68066号 国际期刊计算。数学。 47,编号1-2,17-27(1993).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Csuhaj-Varjü},国际计算机杂志。数学。47,编号1--2,17-27(1993;Zbl 0824.68066) 全文: 内政部
保拉·因弗拉迪;科拉多·普里亚米;丹尼尔·扬克列维奇 参数互模拟的扩展转换系统。 (英语) Zbl 1422.68169号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700558-569(1993)中描述。MSC公司:68问题85 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Inverardi}等人,Lect。注释计算。科学。700558-569(1993年;兹比尔1422.68169) 全文: 内政部
拉利塔·贾特冈卡尔;阿尔伯特·迈耶 确定有限安全网上的真正并发等价性(初步报告)。 (英语) Zbl 1422.68170号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 519-531 (1993).MSC公司:68问题85 2017年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Jategaonkar}和\textit{A.Meyer},莱克特。注释计算。科学。700、519--531(1993年;Zbl 1422.68170) 全文: 内政部
菲利波·米格诺西;塞勒博尔德,帕特丽斯 如果D0L语言是无功耗的,那么它是循环的。 (英语) Zbl 1422.68157号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 507-518 (1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Mignosi}和\textit{P.Séébold},Lect。注释计算。科学。700、507--518(1993年;Zbl 1422.68157) 全文: 内政部
阿尔托·勒皮斯特 关于态射的周期迭代的能力。 (英语) Zbl 1422.68155号 Lingas,Andrzej(编辑)等人,自动机,语言和编程。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 496-506 (1993).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Lepistö},莱克特。注释计算。科学。700、496--506(1993年;Zbl 1422.68155) 全文: 内政部
塞尼泽格斯,热罗 在上下文无关群的情况下,Stallings定理的一个有效版本。 (英语) Zbl 1422.20010号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 478-495 (1993).MSC公司:2010年1月20日 03年3月 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Sénizergues},莱克特。注释计算。科学。700、478--495(1993年;Zbl 1422.20010) 全文: 内政部
大卫·M·科恩。;迈克尔·弗雷德曼。 全覆盖有限状态机的产品。 (英语) Zbl 1418.68115号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 469-477 (1993).MSC公司:65年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Cohen}和\textit{M.L.Fredman},莱克特。注释计算。科学。700、469--477(1993年;Zbl 1418.68115) 全文: 内政部
Dumas博士。 \(\mathrm{B}\)-正则级数的代数方面。 (英语) Zbl 1418.68128号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 457-468 (1993).MSC公司:70年第68季度 11B85号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit(杜马博士),勒克特。注释计算。科学。700、457--468(1993年;Zbl 1418.68128) 全文: 内政部
爱德华·奥赫曼斯基;Pierre-AndréWacrenier 关于半交换的规则相容性。 (英语) Zbl 1422.68158号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 445-456 (1993).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Ochman n ski}和\textit{P.-A.Wacrenier},莱克特。注释计算。科学。700、445--456(1993年;Zbl 1422.68158) 全文: 内政部
西蒙·艾姆雷 理性语言的产物。 (英语) Zbl 1422.68160号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 430-444 (1993).MSC公司:65年第68季度 70年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{I.Simon},莱克特。注释计算。科学。700、430——444(1993年;Zbl 1422.68160) 全文: 内政部
阿文德·古普塔 有限自动机作为次要闭树族的特征(扩展抽象)。 (英语) Zbl 1418.68120号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 359-370 (1993).MSC公司:65年第68季度 05二氧化碳 05C83号 05C85号 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{A.Gupta},Lect。注释计算。科学。700、359--370(1993年;Zbl 1418.68120) 全文: 内政部
沃纳·埃宾格;安卡·穆斯科尔 无限记录道上的逻辑可定义性。 (英语) Zbl 1418.68116号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 335-346 (1993).MSC公司:65年第68季度 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{W.Ebinger}和\textit{A.Muscholl},莱克特。注释计算。科学。700、335--346(1993年;Zbl 1418.68116) 全文: 内政部
克里斯蒂安·米乔克斯;罗杰·维尔梅尔 从Büchi定理看科巴姆定理。 (英语) Zbl 1422.68156号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 325-334 (1993).MSC公司:65年第68季度 05年3月 03英尺30英寸 11B85号 PDF格式BibTeX公司 XML格式引用 \textit{C.Michaux}和\textit{R.Villemaire},莱克特。注释计算。科学。700325--334(1993年;Zbl 1422.68156) 全文: 内政部
奥斯卡·H·伊巴拉。;姜涛;Tran,尼古拉斯;王慧 关于双向计数器和应用的新可判定性结果。 (英语) Zbl 1422.68150号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700313-324(1993)中描述。MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,Lect。注释计算。科学。700、313--324(1993年;Zbl 1422.68150) 全文: 内政部
姜涛;阿托·萨洛马;凯·萨洛马;于盛 对于模式语言,包含是无法确定的。 (英语) Zbl 1422.68152号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 301-312 (1993).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Jiang}等人,Lect。注释计算。科学。700301-312(1993;Zbl 1422.68152) 全文: 内政部
阿图尔·祖马;艾伦·吉本斯 树对问题和平面图的四色问题(扩展抽象)。 (英语) Zbl 1418.68101号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。700, 88-101 (1993).MSC公司:65年第68季度 05二氧化碳 05年10月 05C15号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Czumaj}和\textit{A.Gibbons},Lect。注释计算。科学。700、88--101(1993;Zbl 1418.68101) 全文: 内政部
路德维希·巴尔克;Böhling,卡尔·海因茨 自动机理论和形式语言理论导论。(Einführung在《自动理论与理论格式化程序Sprachen》中写道。) (德语) Zbl 0818.68114号 Reihe Informatik公司90。曼海姆:B.I.Wissenschaftsverlag。xii,315 p.(1993)。 审核人:M.Armbrust(科伦) MSC公司:65年第68季度 68-01 PDF格式BibTeX公司 XML格式引用 \textit{L.Balke}和\textit{K.H.Böhling},Einführung在自动理论和理论格式化程序Sprachen中。曼海姆:B.I.Wissenschaftsverlag(1993;Zbl 0818.68114)
Sytnik,A.A。 自动机行为重构中的可枚举性。 (英语。俄文原件) Zbl 0825.68463号 物理学-多克。 38,第1期,8-9(1993); Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 328,No.1,25-26(1993)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Sytnik},物理-多克。38,No.1,1(1993;Zbl 0825.68463);Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 328,No.1,25--26(1993)
马里兰州克拉特科。;Khruzin,A.N。 Rödding自动机理论中某些问题的不可解性。 (英语。俄文原件) Zbl 0823.68065号 俄罗斯科学院。科学。,道克。,数学。 47,第2期,285-288(1993); Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 329,No.4,416-418(1993)。MSC公司:65年第68季度 94C99号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Kratko}和\textit{A.N.Khruzin},俄罗斯科学院。科学。,道克。,数学。47,No.2,1(1993;Zbl 0823.68065);Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 329,No.4,416--418(1993)
Le Saöc,B。;利托夫斯基,I。;帕特鲁,B。 关于堆栈语言。 (英语) 兹伯利0812.68084 Bonzini,C.(ed.)等人,《半群:代数理论及其在形式语言和代码中的应用》。1992年6月22日至27日在意大利路易斯诺举行的半群国际会议记录。新加坡:世界科学。174-182 (1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Le Saöc}等人,in:半群:代数理论及其在形式语言和代码中的应用。1992年6月22日至27日在意大利路易斯诺举行的半群国际会议记录。新加坡:世界科学。174-182(1993年;Zbl 0812.68084)
哥尔斯,埃里克;冈萨洛·埃尔南德斯 极值自动机的序列迭代。 (英语) Zbl 0942.68602号 Tirapegui,E.(ed.)等人,《不稳定性和非平衡结构》IV.1991年12月在智利瓦尔帕拉索举行的第四次国际研讨会上的讲座选择。多德雷赫特:Kluwer学术出版社。数学。申请。,多德。267, 141-148 (1993).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Goles}和\textit{G.Hernández},数学。申请。,多德。267141-148(1993年;Zbl 0942.68602)
C·邦兹尼。(编辑);A.切鲁比尼。(编辑);蒂比莱蒂,C。(编辑) 半群:代数理论及其在形式语言和代码中的应用。1992年6月22日至27日在意大利路易斯诺举行的半群国际会议记录。 (英语) Zbl 0799.00023号 新加坡:世界科学。xiii,331 p.(1993)。MSC公司:00B25型 2000万 20-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Bonzini}(编辑)等人,《半群:代数理论及其在形式语言和代码中的应用》。1992年6月22日至27日在意大利路易斯诺举行的半群国际会议记录。新加坡:世界科学(1993;Zbl 0799.00023)
佐洛提克,A.A。 穿过具有固定方向上的孔洞的迷宫。 (俄语) Zbl 0853.68135号 Diskretn公司。材料。 5,第1号,59-69(1993). 审核人:A.ádám(布达佩斯) MSC公司:65年第68季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Zolotykh},Diskretn。材料5,编号1,59--69(1993;Zbl 0853.68135)
扎克列夫斯基。 关于部分状态分配矩阵的最小化。 (俄语。英文摘要) Zbl 0808.68073号 多克。阿卡德。Nauk白俄罗斯 37,第6期,8-10(1993).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Zakrevskij},Dokl。阿卡德。Nauk Belarusi 37,No.6,8--10(1993;Zbl 0808.68073)
基利巴达,G。 关于自动机穿越迷宫的复杂性。 (俄语) Zbl 0853.68134号 Diskretn公司。材料。 第5期,第3期,第116-124页(1993年). 审核人:A.ádám(布达佩斯) MSC公司:65年第68季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kilibarda},磁盘。材料5,编号3,116--124(1993;Zbl 0853.68134)
基利巴达,G。;Ushchumlich女士。 关于自动机集体的迷宫陷阱。 (俄语) Zbl 0844.68084号 Diskretn公司。材料。 5,No.2,29-50(1993). 审核人:A.ádám(布达佩斯) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kilibarda}和\textit{Sh.Ushchumlich},Diskretn。材料5,编号2,29--50(1993;Zbl 0844.68084)
医学硕士斯皮瓦克。;Chernyj,D.E。 在简单的无条件实验中解决诊断和设置的一般问题。 (俄语) Zbl 0839.68065号 特奥。波兰普列洛日。 11, 55-62 (1993). 审核人:E.科斯托兰斯基(布拉迪斯拉发) MSC公司:65年第68季度 93E10型 94-04 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Spivak}和\textit{D.E.Chernyj},特奥。波兰普列洛日。11、55-62(1993年;Zbl 0839.68065)
拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。;莫舍·瓦尔迪。 参数化实时推理。 (英语) Zbl 1310.68139号 第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机机械协会(ACM)(ISBN 0-89791-591-7)。592-601 (1993).MSC公司:60年第68季度 65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,载于:第25届美国计算机学会计算理论年度研讨会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)。592--601(1993;Zbl 1310.68139) 全文: 内政部 链接
尤夫·弗伦德;迈克尔·卡恩斯;达纳·罗恩;罗尼特·鲁宾菲尔德;罗伯特·沙佩尔。;琳达·塞利 从随机游动中有效学习典型的有限自动机。 (英语) Zbl 1310.68131号 第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-591-7)。315-324 (1993).MSC公司:65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{Y.Freund}等人,《第25届ACM计算理论研讨会论文集》,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)。315--324(1993;Zbl 1310.68131) 全文: 内政部 链接
拉马纳·伊杜里。;亚历杭德罗·施费尔。 矩形图案的多重匹配。 (英语) Zbl 1310.68111号 第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-591-7)。81-90 (1993).MSC公司:65年第68季度 65年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Idury}和\textit{A.A.Schäffer},摘自:第25届ACM计算理论研讨会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)。81-90(1993年;Zbl 1310.68111) 全文: 内政部
姜涛;李明 \(k\)单向磁头无法进行字符串匹配。 (英语) Zbl 1310.68133号 第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机机械协会(ACM)(ISBN 0-89791-591-7)。62-70 (1993).MSC公司:65年第68季度 2005年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{T.Jiang}和\textit{M.Li},载于:第25届美国计算机学会计算理论年度研讨会论文集,STOC’93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)。62-70(1993年;Zbl 1310.68133) 全文: 内政部
Chebotarev,A.N。 关于自动机系统功能规范的方法。二、。 (英语。俄文原件) Zbl 0823.68069号 赛博。系统。分析。 29,第4期,469-477(1993); 翻译自Kibern。修女。分析。1993年,第4期,3-14(1993)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。29,第4号,第3-14号(1993;Zbl 0823.68069);翻译自Kibern。修女。分析。1993年,第4期,第3-14期(1993年) 全文: 内政部
A.贝杰隆。 离散事件过程中控制问题的统一方法。 (英语) Zbl 0807.93002号 RAIRO,通知。塞奥尔。应用。 27,第6期,555-573(1993).MSC公司:93A10号 65年第68季度 93立方 93亿B51 PDF格式BibTeX公司 XML格式引用 \textit{A.Bergeron},RAIRO,通知。塞奥尔。申请。27,第6号,555--573(1993;Zbl 0807.93002) 全文: 内政部 欧洲DML
M.伊藤。;C·M·里斯。;蒂尔林,G。 有限生成自由幺半群中的粘附。 (英语) Zbl 0812.20051 恭喜。Numeratium公司 95, 37-45 (1993). 审核人:T.J.Harju(图尔库) MSC公司:20立方米 65年第68季度 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Ito}等人,国会。数值95,37-45(1993;Zbl 0812.20051)
Thurasingham,M.B.(医学博士)。 系统功能语言。 (英语) Zbl 0805.03028号 数学。日志。问:。 39,第3期,357-366(1993).MSC公司:03D20日 03D25号 03B25号 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Thurasingham},数学。日志。问39,第3号,357--366(1993;Zbl 0805.03028) 全文: 内政部
I.S.格伦斯基。 关于实验中自动机记忆的证据。 (英语。俄文原件) Zbl 0811.68097号 离散数学。应用。 3,第3号,329-338(1993); 从Diskretn翻译。Mat.5,No.2,51-58(1993)。 审核人:S.Gerber(斯图加特) MSC公司:65年第68季度 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Grunskij},离散数学。申请。3,第3,1号(1993年;Zbl 0811.68097);从Diskretn翻译。Mat.5,No.2,51--58(1993) 全文: 内政部
格伦斯基,I.S。;O.M.科皮托娃。 平稳观测介质中有限自动机的不可分辨性。 (英语。俄文原件) Zbl 0816.68085号 离散数学。应用。 3,第6号,623-633(1993); 从Diskretn翻译。Mat.5,No.4,43-53(1993)。 审核人:S.Gerber(斯图加特) MSC公司:65年第68季度 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Grunskij}和\textit{O.M.Kopytova},离散数学。申请。3、第6、1号(1993;Zbl 0816.68085);从Diskretn翻译。Mat.5,No.4,43--53(1993) 全文: 内政部
基利巴达,G。 关于平面迷宫自动机的最小通用集合。 (英语) Zbl 0813.68139号 离散数学。应用。 3,第6号,555-586(1993). 审核人:M.Zimand(罗切斯特) MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Kilibarda},离散数学。申请。3,第6号,555--586(1993;Zbl 0813.68139) 全文: 内政部
克劳斯·马德勒;安德烈·萨特勒·克莱恩;弗里德里希·奥托 关于生成小收敛系统的问题。 (英语) Zbl 0804.68073号 J.塞姆。计算。 第2期第16页,第167-187页(1993年).MSC公司:2012年第68季度 65年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Madlener}等人,J.Symb。计算。16,第2167-187号(1993年;兹bl 0804.68073) 全文: 内政部
马西耶·坎杜尔斯基 带乘积的非结合和交换Lambek演算中导数的正规形式。 (英语) 兹比尔0803.03015 数学。日志。问:。 39,第1期,第103-114页(1993年).MSC公司:03B99号 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kandulski},数学。日志。问39,第1号,第103--114条(1993;Zbl 0803.03015) 全文: 内政部
乌多·希比什;汉斯·约阿希姆·韦内特 半环。代数理论及其在计算机科学中的应用。(哈尔布林奇,《信息学中的代数理论与Anwendungen》) (德语) Zbl 0829.16035号 图布纳研究所:Mathematik。斯图加特:图布纳。vi,第361页(1993年)。 审核人:B.Pondělíček(普拉哈) MSC公司:2016年60月 16-01 2015年2月6日 12K10型 40J05型 20米25 16立方厘米 70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{U.Hebisch}和\textit{H.J.Weinert},哈尔布林奇。信息学中的代数理论与Anwendungen。斯图加特:Teubner(1993;Zbl 0829.16035)
Koichi山崎;武藤雅库 边界NLC图语言中的泵引理和导子结构。 (英语) Zbl 0820.68065号 信息科学。 75,编号1-2,81-97(1993).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Yamazaki}和\textit{T.Yaku},信息科学。75,编号1--2,81-97(1993;Zbl 0820.68065) 全文: 内政部
波胡斯拉夫·西瓦克 关于常规语言的注释。 (英语) Zbl 0813.68128号 Acta Univ.M.Belii,Ser.大学学报。数学。 1, 33-38 (1993). 审核人:M.Gheorghe(布库雷什蒂) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Sivák},马萨诸塞州埃克塔大学M.Beli。数学。1、33-38(1993年;Zbl 0813.68128)
特罗尔,G。 动态系统中的形式语言。 (英语) Zbl 0857.58025号 卡罗尔大学学报。,数学。物理学。 34,第2期,117-134(1993).MSC公司:37B99型 68问题80 37E99型 PDF格式BibTeX公司 XML格式引用 \textit{G.Troll},卡罗尔大学学报。,数学。物理学。34,第2号,117--134(1993;Zbl 0857.58025) 全文: arXiv公司 欧洲DML
尤根·达索;维克托·米特拉纳;佩恩,古奥热 与协作分布式语法系统相关的Szilard语言。 (英语) Zbl 0806.68068号 螺柱Cercet。材料。 45,第5期,403-413(1993).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow}等人,Stud.Cercet。材料45,编号5,403--413(1993;Zbl 0806.68068)
罗伊·克罗。 类型的类别。 (英语) Zbl 0837.68077号 剑桥:剑桥大学出版社。第十七章,第335页(1993年)。MSC公司:70年第68季度 68-01 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Crole},类型的类别。剑桥:剑桥大学出版社(1993;Zbl 0837.68077) 全文: 内政部
哈特穆特·诺尔特梅尔 计算机科学。1:算法和可计算性介绍。2、durchges。澳大利亚。(Informatik.1:Einführung in Algorithmen und Berechenbarkeit。) (德语) Zbl 0814.68067号 慕尼黑:汉瑟。153 p.DM 36.00/sc(1993年)。MSC公司:68宽10 68-01 第68季度55 68号01 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Noltemeier},Informatik(信息科技)。1:Einführung在Algorithmen und Berechenbarkeit中。2、durchges。澳大利亚。慕尼黑:Hanser(1993;Zbl 0814.68067)
波尔·多莫西;桑多尔·霍瓦思;伊藤、马萨米 形式语言和原始词汇。 (英语) Zbl 0805.68093号 出版物。数学。碎片。 42,编号3-4,315-321(1993).MSC公司:68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Dömösi}等人,Publ。数学。碎片。42,编号3--4,315--321(1993;Zbl 0805.68093)
安托万·佩蒂特 可识别的跟踪语言、分布式自动机和分布问题。 (英语) 兹比尔0790.68058 学报信息。 30,第1期,89-101(1993). 审核人:A.佩蒂特(奥赛) MSC公司:65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Petit},《学报》第30期,第1期,第89-101页(1993年;Zbl 0790.68058) 全文: 内政部
亚历山德鲁·马特埃斯库;阿托·萨洛马 关于邮政通信问题的最简单可行解决方案。 (英语) Zbl 0790.68057号 学报信息。 30,第5期,441-457(1993).MSC公司:65年第68季度 03年3月 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{A.Mateescu}和\textit{A.Salomaa},《学报参考》30,第5期,441--457(1993;Zbl 0790.68057) 全文: 内政部
卡雷尔·库利克二世;西蒙特·杜布 \(L)-系统和相互递归函数系统。 (英语) Zbl 0790.68056号 学报信息。 30,第3号,279-302(1993). 审核人:K.Culik II(哥伦比亚/南卡罗来纳州) MSC公司:65年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{S.Dube},《学报》第30期,第3期,279--302(1993;Zbl 0790.68056) 全文: 内政部