安德烈斯·安巴尼斯;阿什温·纳亚克;阿蒙·塔希玛;乌梅什·瓦齐拉尼 密集量子编码和单向量子自动机的下限。 (英语) Zbl 1345.68195号 Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。376-383 (1999).MSC公司:65年第68季度 2012年第68季度 81页68 81页70 PDF格式BibTeX公司 XML格式引用 \textit{A.Ambainis}等人,摘自:第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会。376--383(1999年;Zbl 1345.68195) 全文: DOI程序 arXiv公司
Masami天野之弥;川崎岩马 量子有限自动机的不可解释性。 (英语) Zbl 1346.68090号 Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。美国乔治亚州亚特兰大,1999年5月1日至4日。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。368-375 (1999).MSC公司:2005年第68季度 65年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Amano和\textit{K.Iwama,摘自:第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会。368--375(1999年;Zbl 1346.68090) 全文: DOI程序
邵,钟 具有完全同步签名的透明模块。 (英语) Zbl 1345.68075号 1999年9月27日至29日在法国巴黎举行的第四届ACM SIGPLAN功能编程国际会议记录,ICFP'99。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-111-9)。ACM SIGPLAN通知34,第9号,220-232(1999)。MSC公司:68甲18 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Shao},in:第四届ACM SIGPLAN函数编程国际会议论文集,ICFP’99,法国巴黎,1999年9月27日至29日。纽约州纽约市:计算机协会(ACM)。220-232(1999年;Zbl 1345.68075) 全文: DOI程序
北本杉本;石坂弘 通过基本形式系统的派生过程生成语言。 (英语) Zbl 1338.68162号 信息处理。莱特。 69,第4期,161-166(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Sugimoto}和\textit{H.Ishizaka},Inf.过程。莱特。69,第4号,161--166(1999;Zbl 1338.68162) 全文: DOI程序 链接
博迪恩,H。;霍尔泽,M。 关于协作分布式语法系统生成的语言层次结构。 (英语) Zbl 1339.68142号 信息处理。莱特。 69,第2号,59-62(1999年).MSC公司:65年第68季度 第68季度10 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}和\textit{M.Holzer},Inf.过程。莱特。69,第2号,59-62(1999;Zbl 1339.68142) 全文: DOI程序
奥卡多姆·塔克西 简单的平面语言:一个可以从正数据中学习的类。 (英语) Zbl 1319.68124号 发现的国际期刊。计算。科学。 10,第4期,483-501(1999).MSC公司:68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Takesi},找到国际期刊。计算。科学。10,第4号,483--501(1999;Zbl 1319.68124) 全文: DOI程序
卡马拉·克里蒂瓦桑;巴兰,N.萨基;巴拉德·哈沙 自动机中的分布式处理。 (英语) Zbl 1319.68136号 发现的国际期刊。计算。科学。 10,第4期,443-463(1999).MSC公司:65年第68季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Krithivasan}等人,《国际期刊》发现。计算。科学。10,第4号,443--463(1999;Zbl 1319.68136) 全文: DOI程序
塞尔吉奥·格雷科;多梅尼科·萨卡;卡洛·扎尼奥洛 用于优化链逻辑查询的语法和自动机。 (英语) 兹比尔1319.68071 发现的国际期刊。计算。科学。 第10期,第3期,349-372页(1999年).MSC公司:第68页,共15页 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Greco}等人,国际期刊发现。计算。科学。10,第3号,349--372(1999;Zbl 1319.68071) 全文: DOI程序
赫马斯潘德拉,A车道。;哈拉尔德·亨佩尔;Gerd Wechsung公司 自我指定机器。 (英语) Zbl 1319.68083号 发现的国际期刊。计算。科学。 10,第3期,263-276(1999).MSC公司:2005年第68季度 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Hemaspandra}等人,国际期刊发现。计算。科学。10,第3号,263--276(1999;Zbl 1319.68083) 全文: DOI程序
尤尔根·达索;亨宁费尔瑙;佩恩,古奥热 矩阵文法中最左边的偏差。 (英语) Zbl 1319.68126号 发现的国际期刊。计算。科学。 10,第1期,61-79(1999).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow}等人,国际期刊发现。计算。科学。10,第1号,61--79(1999;Zbl 1319.68126) 全文: DOI程序
弗罗林·福蒂什 关于带有限选择的全括号语言。 (英语) Zbl 1134.68385号 安提恩。Al.I.Cuza IașI大学。印度诺阿。 8, 88-98 (1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Fortiš},安提恩。Al.I.Cuza IașI大学。诺厄,Inf.8,88--98(1999;Zbl 1134.68385)
马尔琴科夫,S.S。 实数的有限自动机和周期分解。 (俄语) 2010年11月1日 材料供应商。基伯恩。 8, 304-311 (1999).MSC公司:11页A55 11B85号 30B70型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Marchenkov},马特·沃普。基伯恩。8304-311(1999年;Zbl 1201.11010)
弗吉尼亚州布埃维奇。;Klindukhova,T.È。 关于识别包含所有单点有界定函数的系统的(mathcal A)-完备性的算法的存在性。 (俄语) Zbl 1201.68065号 材料供应商。基伯恩。 8, 289-297 (1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Buevich}和\textit{T.È.Klindukhova},Mat.Vopr。基伯恩。8289--297(1999年;Zbl 1201.68065)
扎哈罗夫,V.A。 线性一元递归程序等价问题的有效可解性。 (俄语) Zbl 1201.68071号 材料供应商。基伯恩。 8, 255-272 (1999).MSC公司:60年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Zakharov},马特·沃普。基伯恩。8255--272(1999年;Zbl 1201.68071)
弗吉尼亚州布埃维奇。 关于包含所有单点确定函数的系统的(τ)-完备性。 (俄语) Zbl 1201.68064号 材料供应商。基伯恩。 8, 231-254 (1999). 审核人:尼古拉·恩德·拉努(克雷奥瓦) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Buevich},Mat.Vopr。基伯恩。8、231--254(1999年;Zbl 1201.68064)
卡斯特罗,J.L。;德尔加多,M。;曼塔斯,C.J。 处理模糊算法的模糊语法。 (英语) 兹比尔1087.68569 国际期刊不确定性。模糊知识-基于系统。 7,第3期,277-286(1999).MSC公司:2012年第68季度 65年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Castro}等人,《国际期刊不确定性》。模糊知识-基于系统。7,第3号,277--286(1999;Zbl 1087.68569) 全文: DOI程序
加布里埃尔·奥曼。 生成系统表征的概率论方法。 (英语) Zbl 1084.68546号 Lupša,Liana(编辑)等人,《分析、函数方程、近似和凸性》。1999年10月15日至16日,罗马尼亚克鲁伊·纳波卡,为纪念Elena Popoviciu教授75岁生日而举行的会议记录。Cluj-Napoca:Editura Carpatica(ISBN 973-97664-9-8)。214-220 (1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Orman},in:分析,函数方程,近似和凸性。1999年10月15日至16日,罗马尼亚克鲁伊·纳波卡,为纪念Elena Popoviciu教授75岁生日而举行的会议记录。Cluj-Napoca:Editura Carpatica。214--220(1999年;Zbl 1084.68546)
斯托扬·米霍夫 为给定列表直接构建最小自动机。 (英语) Zbl 1079.68574号 上帝。索菲吉。法国大学。材料通知。 91(1997),第1期,33-40(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mihov},上帝。沙发。法国大学。材料通知。91,第1号,33--40(1999;Zbl 1079.68574)
汉斯·赖森巴赫 安德烈亚斯·卡姆拉(编辑);玛丽亚·赖森巴赫(编辑);Stephan H.A.巴耶尔。(编辑);马提亚斯·瓦尔加·冯·基贝德(编辑) [大卫·卡普兰] 收藏作品。第六卷:符号逻辑的元素。(Gesammelte Werke.Hrsg.von Andreas Kamlah und Maria Reichenbach.乐队6:Grundzüge der symbarichen Logik.Hrsg.unter Mitarbeit von Stephan H.A.Bayerl und Matthias Varga v.Kibéd.Aus dem Englischenübersetzt von Stefan H.A.Bayerl,Claudia Thoméund Mathias Varga-von Kibé.Mit eitmartwort zur deutschen Ausgabe von David Kaplan) (德语) Zbl 0940.03002号 威斯巴登:Vieweg。xxviii,436 S.(1999)。 审核人:H.C.M.de Swart(蒂尔堡) MSC公司:03-03 01A75号 03B45号 03A05号 03B65号 03-01 03B05号 03-02 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Reichenbach}等人,Gesammelte Werke.Hrsg。冯·安德烈亚斯·坎拉和玛丽亚·赖森巴赫。乐队6:格伦茨üge der symbicachen Logik。小时。《米塔尔贝特·冯·斯蒂芬·H·A·拜耳与马蒂亚斯·瓦尔加诉基贝德案》。澳大利亚英格兰足球俱乐部(Aus dem Englishenübersetzt von Stephan H.A.Bayerl)、克劳迪娅·托梅恩·马蒂亚斯·瓦尔加·冯·基贝德(Claudia Thoméund Matthias Varga von Kibéd)。Mit einem Geleitwort zur deutschen Ausgabe von David Kaplan公司。威斯巴登:Vieweg(1999;Zbl 0940.03002)
朱哈尼·卡胡马基;沃伊切赫·普兰多夫斯基;沃伊切赫·莱特 用有限自动机描述的图像子段的压缩。 (英语) Zbl 1063.68687号 Crochemore,Maxime(编辑)等,组合模式匹配。第十届年度研讨会,CPM 99,英国华威大学,1999年7月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66278-2/pbk)。计算机科学课堂讲稿1645186-195(1999)。MSC公司:68单位10 68页30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Karhumäki}等人,Lect。注释计算。科学。1645、186--195(1999年;Zbl 1063.68687)
斯佩兰斯基,D.V。;Speranskij,医学博士。 关于不丢失信息的线性自动机网络的一个问题。 (英语。俄文原件) Zbl 1091.68546号 自动。远程控制 60,第1号,第2部分,112-117(1999); Avtom翻译。Telemekh公司。1999年,第140-147号(1999年)。MSC公司:65年第68季度 70年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Speranskij}和\textit{I.D.Speranski},自动。遥控器60,第1号,第2部分,112--117(1999;Zbl 1091.68546);Avtom翻译。Telemekh公司。1999年,第1140-147号(1999年)
马克·斯皮尔曼 自动验证抽象状态机(扩展抽象)。 (英语) Zbl 1046.68610号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 431-442 (1999).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Spielmann},莱克特。注释计算。科学。1633431-442(1999年;Zbl 1046.68610)
Vamsi Boppana;Sreeranga P.拉詹。;高山小一郎;Masahiro Fujita 基于顺序ATPG的模型检查。 (英语) Zbl 1046.68580号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 418-430 (1999).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Boppana}等人,Lect。注释计算。科学。1633418-430(1999年;Zbl 1046.68580)
Kedar S.Namjoshi。;罗伯特·P·库尔珊(Robert P.Kurshan)。 循环定义的有效分析。 (英语) 兹比尔1046.68604 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 394-405 (1999).MSC公司:60年第68季度 65年第68季度 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Namjoshi}和\textit{R.P.Kurshan},莱克托。注释计算。科学。1633、394--405(1999年;Zbl 1046.68604)
马吕斯·博兹加;奥德·马勒 关于结构化域上概率的表示。 (英语) Zbl 1046.68581号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 261-273 (1999).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}和\textit{O.Maler},莱克特。注释计算。科学。1633、261--273(1999年;Zbl 1046.68581)
马可·丹尼尔;福斯托·金奇利亚;莫舍·瓦尔迪。 改进了线性时序逻辑的自动机生成。 (英语) Zbl 1046.68588号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 249-260 (1999).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Daniele}等人,Lect。注释计算。科学。1633、249--260(1999;Zbl 1046.68588)
库沙·埃特萨米 口吃变异语言、自动机和时态逻辑。 (英语) Zbl 1046.68591号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 236-248 (1999).MSC公司:60年第68季度 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami},莱克特。注释计算。科学。1633,236--248(1999;Zbl 1046.68591)
奥尔纳·库普弗曼;莫舍·瓦尔迪。 安全特性的模型检查。 (英语) Zbl 1046.68597号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 172-183 (1999).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},莱克特。注释计算。科学。1633172-183(1999年;Zbl 1046.68597)
拉杰夫·阿鲁尔 定时自动机。 (英语) Zbl 1046.68574号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 8-22 (1999).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur},莱克特。注释计算。科学。1633年8月22日(1999年;Zbl 1046.68574)
佩恩,古奥热;于盛 P系统中的同步。 (英语) Zbl 1066.68533号 芬丹。通知。 38,第4期,397-410(1999).MSC公司:65年第68季度 第68季度10 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Păun}和\textit{S.Yu},Fundam。通知。38,第4号,397--410(1999;Zbl 1066.68533)
博迪恩,亨宁;亨宁费尔瑙;马库斯·霍尔泽 关于接受纯Lindenmayer系统。 (英语) Zbl 1058.68539号 芬丹。通知。 38,第4期,365-375(1999).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人,Fundam。通知。38,第4号,365-375(1999;Zbl 1058.68539)
波尔·多莫西;尤尔根·杜斯克;曼弗雷德·库德莱克 线性索引语言的新泵引理。 (英语) Zbl 1047.68077号 Nehaniv,Chrystopher L.(ed.)等人,代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。533-537 (1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Dömösi}等人,in:代数工程。形式语言和计算机系统国际研讨会论文集,1997年3月18日至21日,日本京都,以及1997年3月月24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学。533--537(1999年;Zbl 1047.68077)
贾斯汀·雅克;朱塞佩·皮里洛 抽取和斯图尔语单词。 (英语) Zbl 1047.68079号 Nehaniv,Chrystopher L.(ed.)等人,代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。494-501 (1999).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Justin}和\textit{G.Pirillo},in:代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学。494--501(1999;Zbl 1047.68079)
伊藤、马萨米 洗牌产品和有关语言的操作。 (英语) Zbl 1047.68078号 Nehaniv,Chrystopher L.(ed.)等人,代数工程。形式语言和计算机系统国际研讨会论文集,日本京都,1997年3月18-21日,以及1997年3月24-28日在日本会津举行的第一次半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。484-493 (1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ito},in:代数工程。形式语言和计算机系统国际研讨会论文集,日本京都,1997年3月18-21日,以及第一届半群和代数工程国际会议论文集,1997年4月24-28日,日本爱津。新加坡:世界科学。484--493(1999年;Zbl 1047.68078)
沃尔克·迪克特;小林,Yuji 一些恒等式与自动机、行列式和Möbius函数有关。 (英语) Zbl 1047.68076号 Nehaniv,Chrystopher L.(ed.)等人,代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。330-349 (1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{Y.Kobayashi},in:代数工程。形式语言和计算机系统国际研讨会论文集,1997年3月18日至21日,日本京都,1997年5月24日至28日,在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学。330-349(1999;Zbl 1047.68076)
米特拉纳,V。;R.斯蒂贝。 群上的扩展有限自动机。 (英语) Zbl 1047.68081号 Nehaniv,Chrystopher L.(ed.)等人,代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。317-329 (1999).MSC公司:70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Mitrana}和\textit{R.Stiebe},in:代数工程。形式语言和计算机系统国际研讨会论文集,1997年3月18日至21日,日本京都,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学。317--329(1999;Zbl 1047.68081)
莱斯·布哈拉耶夫 概率处理器网络是一种强大的计算和建模手段。 (英语) Zbl 1047.68075号 Nehaniv,Chrystopher L.(ed.)等人,代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学(ISBN 981-02-3667-0/hbk)。277-289 (1999).MSC公司:65年第68季度 68问题85 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{R.Bukharaev},in:代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学。277-289(1999年;兹bl 1047.68075)
Hashiguchi,K。;Mizoguchi,T。;诺达,N。 双代码简介。 (英语) Zbl 1029.94012号 Nehaniv,Chrystopher L.(ed.)等人,代数工程。形式语言和计算机系统国际研讨会论文集,日本京都,1997年3月18日至21日,以及在日本爱津举行的第一届半群和代数工程国际会议论文集,1997年2月24日至28日。新加坡:世界科学。219-229 (1999).MSC公司:94A45型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Hashiguchi}等人,in:代数工程。1997年3月18日至21日在日本京都举行的形式语言和计算机系统国际研讨会论文集,以及1997年3月份24日至28日在日本爱津举行的第一届半群和代数工程国际会议论文集。新加坡:世界科学。219--229(1999年;Zbl 1029.94012)
塔卡拉诺夫,K.D。 将半群中的算法问题与语言和自动机理论联系起来。 (英语) Zbl 1019.68063号 Stud.大学。Babeș-Bolyai,数学。 44,第1期,95-100(1999).MSC公司:70年第68季度 65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{K.D.Tarkalanov},贝贝大学(Babeș-Bolyai)学生,数学。44,第1号,95--100(1999;Zbl 1019.68063)
杰拉德·J·霍尔兹曼。;阿努吉·普里 可达状态的最小化自动机表示。 (英语) Zbl 1065.68579号 国际期刊软件。技术工具。Transf公司。2,第3期,270-278(1999)。MSC公司:65年第68季度 68页30 PDF格式BibTeX公司 XML格式 全文: DOI程序
约斯特·恩格尔弗里特;塞巴斯蒂安·马内思 宏树变换器、属性语法和MSO可定义树翻译。 (英语) Zbl 1045.68585号 Inf.计算。 154,第1期,34-91(1999).MSC公司:65年第68季度 03B15号机组 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{S.Maneth},Inf.Compute。154,第1号,34-91(1999年;兹bl 1045.68585) 全文: DOI程序 链接
蒂尔扎·赫斯特;莫西·莱温斯坦 交替和有界并发是反向等价的。 (英语) Zbl 1045.68565号 Inf.计算。 152,第2173-187号(1999年).MSC公司:第68季度10 2005年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hirst}和\textit{M.Lewenstein},Inf.Compute。152,No.2,173--187(1999;Zbl 1045.68565) 全文: DOI程序 链接
张国强 自动机、布尔矩阵和最终周期。 (英语) Zbl 1045.68587号 Inf.计算。 152,第1期,138-154(1999).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang},信息计算。152,第1号,138--154(1999;Zbl 1045.68587) 全文: DOI程序 链接
诺伯特·布鲁姆;罗伯特·科赫 重新审视格雷巴赫范式转换。 (英语) Zbl 1045.68584号 Inf.计算。 150,第1期,第112-118页(1999年).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Blum}和\textit{R.Koch},Inf.计算。150,编号1,112--118(1999;Zbl 1045.68584) 全文: DOI程序 链接
罗伯特·D·里斯。 无限对象上概率自动机的一个特征定理。 (英语) Zbl 1003.68059号 蒂米大学。,序列号。材料-通知。 37,规范发行。,157-168 (1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Riesz},蒂米大学。,序列号。材料-通知。37157-168(1999年;兹bl 1003.68059)
第40届计算机科学基础年会。研讨会论文集(FOCS'99),美国纽约州纽约市,1999年10月17日至19日。 (英语) Zbl 1058.68002号 加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 0-7695-0409-4)。xiv,第668页。(1999).MSC公司:68-06 05-06 00B25型 65年第68季度 第68季度10 81页68 68周05 68第05页 68卢比 05Cxx号 PDF格式BibTeX公司 XML格式引用 第40届计算机科学基础年会。1999年10月17日至19日在美国纽约州纽约市举行的研讨会(FOCS’99)会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(1999;Zbl 1058.68002)
Crvenković,S。;我.多林卡。;埃西克,Z。 关于交换正则语言方程的注记。 (英语) Zbl 0999.68098号 信息处理。莱特。 70,第6号,265-267(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crvenković}等人,《Inf.过程》。莱特。70,第6号,265--267(1999;Zbl 0999.68098) 全文: DOI程序
佩恩,古奥热;阿托·萨洛马 使用复制语言描述递归可枚举语言的特征。 (英语) Zbl 1002.68082号 修订版Roum。数学。Pures应用程序。 44,第3期,447-454(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pn}和\textit{A.Salomaa},Rev.Roum。数学。Pures应用程序。44,第3号,447--454(1999;Zbl 1002.68082)
Lee,Gyung-Ok先生;Choe,Kwang-Moo先生 具有预先确定的约简目标的LR解析器。 (英语) Zbl 1005.68510号 信息处理。莱特。 第72号,第5-6号,189-196(1999).MSC公司:第68页第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.-O.Lee}和\textit{K.-M.Choe},Inf.流程。莱特。72,编号5--6,189-196(1999;Zbl 1005.68510) 全文: DOI程序
尤尔根·达索;佩恩,古奥热 Mat的Min不一定是Mat。 (英语) Zbl 0999.68099号 信息处理。莱特。 71,第5-6号,175-177(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow}和\textit{G.Pun},Inf.过程。莱特。71,编号5--6,175--177(1999;Zbl 0999.68099) 全文: DOI程序
杰拉德·D·祖母绿。;苏布拉曼尼亚语,K.G。;D.G.托马斯。 关于推断唯一终止代码语言的注释。 (英语) Zbl 1002.68081号 信息处理。莱特。 70,第5期,217-222(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Emerald}等人,《Inf.工艺》。莱特。70,第5号,217--222(1999;Zbl 1002.68081) 全文: DOI程序
安东·库切拉 关于无限状态行为的有限表示。 (英语) Zbl 1002.68093号 信息处理。莱特。 70,第1期,23-30(1999).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera},信息处理。莱特。70,编号1,23--30(1999;Zbl 1002.68093) 全文: DOI程序
Ghozati,S.A.公司。 对互连网络的叉积进行建模的有限自动机方法。 (英语) 兹比尔1042.68505 数学。计算。建模 30,第7-8号,185-200(1999).MSC公司:68米10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Ghozati},数学。计算。建模30,编号7--8185-200(1999;Zbl 1042.68505) 全文: DOI程序
霍斯特·威塞尔 逻辑。(逻辑) (德语) Zbl 0991.0302号 逻辑哲学. 2. 柏林:Logos-Verlag。vii,409 S.(1999)。 审核人:Albert A.Mullin(麦迪逊) MSC公司:03-01 03-02 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wessel},Logik(逻辑)。柏林:Logos-Verlag(1999;Zbl 0991.0302)
萨斯特里,P.S。;Thathachar,M.A.L.博士。 模式分类的学习自动机算法。 (英语) Zbl 1075.68638号 萨达纳 24,编号4-5,261-292(1999).MSC公司:68T05型 65年第68季度 68吨10 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Sastry}和\textit{M.A.L.Thathachar},萨达纳24,No.4-5,261--292(1999;Zbl 1075.68638) 全文: DOI程序
凯·萨洛马;于盛 无环交替有限自动机。 (英语) Zbl 0981.68091号 出版物。数学。碎片。 54,第1-2号,979-988(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Salomaa}和\textit{S.Yu},出版物。数学。碎片。54,编号1--2,979--988(1999;Zbl 0981.68091)
朱塞佩·皮里洛 从斐波那契语到斯图尔曼语。 (英语) Zbl 0981.68090号 出版物。数学。碎片。 54,第1-2号,961-971(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pirillo},出版物。数学。碎片。54,编号1--2,961--971(1999;Zbl 0981.68090)
瓦莱丽亚·米哈拉奇;阿托·萨洛马 特定类型DNA重组的数学性质。 (英语) Zbl 0981.68092号 出版物。数学。碎片。 54,第1-2号,949-960(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Mihalache}和\textit{A.Salomaa},出版物。数学。碎片。54,编号1--2949--960(1999;Zbl 0981.68092)
所罗门·马库斯;卡洛斯·马丁·维德;佩恩,古奥热 关于最大限度使用选择器的内部上下文文法。 (英语) Zbl 0981.68094号 出版物。数学。碎片。 54,第1-2期,933-947(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Marcus}等人,出版物。数学。碎片。54,编号1--2,933--947(1999;Zbl 0981.68094)
马乔·利普蓬恩 关于邮政通信问题中基本词和语言的决策问题。 (英语) Zbl 0981.68088号 出版物。数学。碎片。 54,第1-2期,915-922(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lipponen},出版物。数学。碎片。54,编号1--2,915--922(1999;Zbl 0981.68088)
Y.Kunimochi。;Inomata,T。;田中,G。 关于网的自同构群。 (英语) Zbl 0981.68113号 出版物。数学。碎片。 54,第1-2号,905-913(1999).MSC公司:68问题85 65年第68季度 20层29 20平方米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kunimochi}等人,Publ。数学。碎片。54,编号1--2,905--913(1999;Zbl 0981.68113)
曼弗雷德·库德莱克;莫里斯·马根斯坦 具有复杂性约束的通用图灵机。 (英语) Zbl 0981.68103号 出版物。数学。碎片。 54,第1-2期,895-904(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kudlek}和\textit{M.Margenstern},出版。数学。碎片。54,编号1--2,895--904(1999;Zbl 0981.68103)
Kászonyi,L。;Katsura,M。 关于语言上下文无关性的一些新结果。 (英语) Zbl 0981.68099号 出版物。数学。碎片。 54,编号1-2,885-894(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kászonyi}和\textit{M.Katsura},出版物。数学。碎片。54,编号1--2885--894(1999;Zbl 0981.68099)
Kászonyi,L。;M.霍尔泽。 触发器引理的推广。 (英语) Zbl 0981.68084号 出版物。数学。碎片。 54,第1-2号,877-884(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kászonyi}和\textit{M.Holzer},出版物。数学。碎片。54,编号1--2877--884(1999;Zbl 0981.68084)
露西恩·伊利 试图定义一类温和的上下文敏感语言。 (英语) Zbl 0981.68086号 出版物。数学。碎片。 54,编号1-2,865-876(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ilie},出版物。数学。碎片。54,编号1--2865--876(1999;Zbl 0981.68086)
乔泽夫·格鲁斯卡 收缩树和树状自动机。 (英语) Zbl 0981.68101号 出版物。数学。碎片。 54,编号1-2,807-855(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gruska},出版物。数学。碎片。54,编号1--2,807--855(1999;Zbl 0981.68101)
亨宁费尔瑙;马库斯·霍尔泽 双向协作分布式语法系统。 (英语) Zbl 0981.68087号 出版物。数学。碎片。 54,第1-2期,787-806(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}和\textit{M.Holzer},出版物。数学。碎片。54,编号1--2,787--806(1999;Zbl 0981.68087)
Sigrid Ewert公司;安德烈斯·范德沃尔特 随机上下文图片语法。 (英语) Zbl 0981.68098号 出版物。数学。碎片。 54,编号1-2,763-785(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ewert}和\textit{A.van der Walt},出版。数学。碎片。54,编号1--2,763--785(1999;Zbl 0981.68098)
埃西克,Z。 树和理论的多样性定理。 (英语) Zbl 0981.68085号 出版物。数学。碎片。 54,编号1-2,711-762(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik},出版物。数学。碎片。54,编号1--2,711--762(1999;Zbl 0981.68085)
波尔·多莫西;德克·豪斯柴尔德;盖扎·霍瓦思;曼弗雷德·库德莱克 关于生成原始词的小上下文无关语法的一些结果。 (英语) 兹比尔0981.68100 出版物。数学。碎片。 54,第1-2667-686号(1999年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Dömösi}等人,Publ。数学。碎片。54,编号1--2,667--686(1999;Zbl 0981.68100)
J·达索。;米特拉纳,V。 D0L模式语言。 (英语) Zbl 0981.68089号 出版物。数学。碎片。 54,编号1-2,653-665(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow}和\textit{V.Mitrana},出版物。数学。碎片。54,编号1--2,653--665(1999;Zbl 0981.68089)
亚历山德拉·切鲁比尼;圣彼得罗,皮耶路易吉 关于多深度文法与树邻接文法的关系。 (英语) Zbl 0981.68096号 出版物。数学。碎片。 54,编号1-2,625-640(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cherubini}和\textit{P.San Pietro},出版物。数学。碎片。54,编号1--2625--640(1999;Zbl 0981.68096)
莱斯·布哈拉耶夫 概率自动机和处理器(重要性,一些方法和结果)。 (英语) Zbl 0981.68097号 出版物。数学。碎片。 54,编号1-2,601-617(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bukharaev},出版物。数学。碎片。54,编号1--2,601-617(1999;Zbl 0981.68097)
巴巴桑尼,I。 关于状态无关自动机的分解。 (英语) 兹伯利0981.68093 出版物。数学。碎片。 54,第1-2575-582号(1999年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Babcsányi},出版物。数学。碎片。54,编号1--2,575--582(1999;Zbl 0981.68093)
彼得·阿斯维尔德(Peter R.J.Asveld)。 广义模糊无上下文文法的非自嵌入性质。 (英语) Zbl 0981.68102号 出版物。数学。碎片。 54,编号1-2,553-573(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.J.Asveld},出版物。数学。碎片。54,编号1--2,553--573(1999;Zbl 0981.68102)
A.阿尔达姆。 关于有限摩尔自动机的行为和简单性。 (英语) Zbl 0981.68095号 出版物。数学。碎片。 54,编号1-2,525-530(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.ám},出版物。数学。碎片。54,编号1--2,525--530(1999;Zbl 0981.68095)
欧海文;戴、宗铎 具有记忆的线性有限自动机中嵌入的条件。 (中文。英文摘要) 兹比尔1054.68556 高级数学。,北京 28,第5期,404-410(1999).MSC公司:65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ou}和\textit{Z.Dai},高级数学。,北京28号,第5期,第404-410页(1999年;兹bl 1054.68556)
梁继华;刘英明 领域理论和拓扑。 (中文。英文摘要) Zbl 1054.54500号 高级数学。,北京 28,第2期,97-104(1999).MSC公司:54A10号 06B35号 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Liang}和\textit{Y.Liu},高级数学。,北京28,No.2,97--104(1999;Zbl 1054.54500)
M.Mehdi,易卜拉希米;马哈茂迪,M。 平面投影代数。 (英语) Zbl 0986.18009号 Banaschewski,B.(ed.)等人,范畴拓扑学研讨会论文集,SoCaT 94,南非开普敦大学,Rondebosch,1994年11月。庆祝纪尧姆·布吕默60岁生日。Rondebosch:开普敦大学数学与应用数学系。113-120 (1999).MSC公司:18 C50 68问题65 18对25 18二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{M.M.易卜拉希米}和\textit{M.马哈茂迪},《范畴拓扑学研讨会论文集》,SoCaT 94,南非开普敦大学,Rondebosch,1994年11月。庆祝纪尧姆·布吕默60岁生日。Rondebosch:开普敦大学数学与应用数学系。113-120(1999;Zbl 0986.18009)
阿尔达姆,安德拉斯(编辑);波尔·多莫西(编辑) 特刊:国际会议论文集自动化和正式语言VIII。1996年7月29日至8月2日,匈牙利萨尔戈塔尔扬。 (英语) Zbl 0971.00051号 出版物。数学。碎片。 54,补遗,525-986(1999).MSC公司:00B25型 68-06 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.ám}(编辑)和\textit{P.dömösi}(主编),出版物。数学。碎片。54、525--986(1999;Zbl 0971.00051)
伊藤、马萨米(编辑) 语言、代数和计算机系统。1999年3月8日至10日在日本京都京都大学数学科学研究所举行的研讨会记录。 (英语、日语) Zbl 0970.68003号 RIMS Kokyuroku公司 1106236页(1999年).MSC公司:68-06 00B25型 11B85号 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ito}(编辑),RIMS Kokyuroku 1106,236 ~ p.(1999;Zbl 0970.68003)
⑩tefnescu,Gh。 关于混合代数的注记。 (英语) Zbl 0985.08004号 Smeuranu,Ion(编辑)等人,《信息技术》。1999年5月6日至9日在罗马尼亚布加勒斯特举行的第四届经济信息学国际研讨会论文集。布加勒斯特:Editura Inforec。1045-1053 (1999).MSC公司:08A70号 18 C50 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{Gh.ötefénescu},in:信息技术。1999年5月6日至9日在罗马尼亚布加勒斯特举行的第四届经济信息学国际研讨会论文集。布加勒斯特:Editura Inforec。1045--1053(1999;Zbl 0985.08004)
柯特林·迪马 持续时间演算的可判定子集的自动机。 (英语) Zbl 1052.68083号 Smeureanu,Ion(编辑)等人,《信息技术》。1999年5月6日至9日在罗马尼亚布加勒斯特举行的第四届经济信息学国际研讨会论文集。布加勒斯特:Editura Inforec(ISBN 973-98508-5-5)。930-937 (1999).MSC公司:60年第68季度 65年第68季度 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dima},in:信息技术。1999年5月6日至9日在罗马尼亚布加勒斯特举行的第四届经济信息学国际研讨会论文集。布加勒斯特:Editura Inforec。930--937(1999年;Zbl 1052.68083)
马克西门科,I.I。 自动机实验的拓扑性质。 (俄语) Zbl 0968.68007号 事务处理仪表价格。马特·梅赫。 4, 107-112 (1999). 审核人:瓦迪姆·斯科特索夫(顿涅茨克) MSC公司:68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Maksimenko},Tr.Inst.Prikl公司。马特·梅赫。4107-112(1999年;兹bl 0968.68007)
安东尼奥·加西亚;Graham A.朱利安。 关于“无算术并行混合半径转换算法”的评论。 (英语) Zbl 0976.68007号 IEEE传输。电路系统。,二、 模拟数字。信号处理。 46,第9期,1259-1260(1999).MSC公司:2007年7月68日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.GarcíA}和\textit{G.A.Jullien},IEEE Trans。电路系统。,二、 模拟数字。信号处理。46,第9号,1259--1260(1999;Zbl 0976.68007) 全文: DOI程序
杰拉西莫斯·马苏罗斯(Gerasimos G.Massouros)。 计算机理论中的超组分结构。 (英语) Zbl 0974.68107号 比率数学。 13, 37-42 (1999).MSC公司:65年第68季度 70年第68季度 20N20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Massouros},比率数学。13、37-42(1999;Zbl 0974.68107)
I.G.波塔波夫。 可定义通信系统的特征。 (俄语) Zbl 0966.68016号 事务处理仪表价格。马特·梅赫。 4, 134-141 (1999). 审核人:瓦迪姆·斯科特索夫(顿涅茨克) MSC公司:64岁以下 68个M12 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.G.Potapov},Tr.Inst.Prikl(交通工具)。马特·梅赫。4、134--141(1999年;Zbl 0966.68016)
凯·萨洛马;于盛 广义公平和无上下文语言。 (英语) Zbl 0980.68062号 《网络学报》。 193-203年第1期第14页(1999年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Salomaa}和\textit{S.Yu},《网络学报》。14,第1号,193--203(1999;Zbl 0980.68062)
Stanevichene,L.I。 CF语言类的一些定义。 (英语。俄文原件) Zbl 0972.68111号 程序。计算。柔和。 25,第5期,252-261(1999); 译自Programmirovanie 1999,第5期,15-25页(1999)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.I.Stanevichene},程序。计算。柔和。25,第5号,252--261(1999;Zbl 0972.68111);译自Programmirovanie 1999,No.5,15-25(1999)
谢惠民 一维动力系统的复杂性分析。 (中文。英文摘要) Zbl 0984.37040号 控制理论应用。 16,补遗,141-144(1999).MSC公司:37E05型 第37页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Xie},控制理论应用。16、141--144(1999年;Zbl 0984.37040)
阿托·萨洛马 D0L图上的Watson Crick人行道和道路。 (英语) Zbl 0959.68061号 《网络学报》。 14,第1期,179-192(1999).MSC公司:65年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa},Cybern女演员。14,第1号,179--192(1999;Zbl 0959.68061)
伊姆雷,B。;斯坦比,M。 可定向非确定性自动机。 (英语) Zbl 0959.68060号 《网络学报》。 第1期,第1期,第105-115页(1999年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Imreh}和\textit{M.Steinby},《网络学报》。14,No.1,105--115(1999;Zbl 0959.68060)
埃西克,Z。 公理化迭代类别。 (英语) Zbl 0959.68059号 《网络学报》。 14,第1期,65-82(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik},《网络学报》。14,第1号,65--82(1999;Zbl 0959.68059)
加布里埃尔·奥曼。 导数算子——一些离散系统和应用的特征。 (英语) Zbl 0971.68095号 加布里埃尔·V·奥尔曼(编辑),《第13届数学及其应用科学会议论文集》,布拉索夫,罗马尼亚,1999年4月2日。布拉什科夫:特拉维尼亚大学布拉什夫分校,科学院,数学分析和概率系,1-11(1999)。MSC公司:65年第68季度 93E03型 94A99型 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Orman},摘自:《第13届数学及其应用科学会议论文集》,罗马尼亚布拉什科夫,1999年4月2日。布拉什科夫:特拉维尼亚大学布拉什夫分校,理学院,数学分析和概率系。1-11(1999;Zbl 0971.68095)
卡拉;Laura F.Landweber。 基因重排的计算能力。 (英语) Zbl 0971.68054号 Winfree,Erik(编辑)等人,基于DNA的计算机V.DIMACS研讨会,麻省理工学院,马萨诸塞州剑桥,美国,1999年6月14-15日。普罗维登斯,RI:AMS,美国数学学会。DIMACS,系列。离散数学。西奥。计算。科学。54, 207-216 (1999).MSC公司:2005年第68季度 03日第10天 2012年第68季度 65年第68季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kari}和\textit{L.F.Landweber},DIMACS,Ser。离散数学。西奥。计算。科学。54、207--216(1999;Zbl 0971.68054)
安德烈·埃伦菲赫特;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom);格列泽戈兹·罗森贝格;van Vugt,Nikè 禁止和执行。 (英语) Zbl 0969.68074号 Winfree,Erik(编辑)等人,基于DNA的计算机V.DIMACS研讨会,麻省理工学院,美国马萨诸塞州剑桥市,1999年6月14日至15日。普罗维登斯,RI:AMS,美国数学学会。DIMACS,系列。离散数学。西奥。计算。科学。54, 195-206 (1999).MSC公司:2005年第68季度 65年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}等人,DIMACS,序列号。离散数学。西奥。计算。科学。54、195--206(1999;Zbl 0969.68074)
高石横森 YAC:还有另一种自组装计算模型。 (英语) Zbl 0969.68073号 Winfree,Erik(编辑)等人,基于DNA的计算机V.DIMACS研讨会,麻省理工学院,马萨诸塞州剑桥,美国,1999年6月14-15日。普罗维登斯,RI:AMS,美国数学学会。DIMACS,系列。离散数学。西奥。计算。科学。54, 155-169 (1999).MSC公司:2005年第68季度 第68季度10 65年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Yokomori},DIMACS,序列号。离散数学。西奥。计算。科学。54、155--169(1999;Zbl 0969.68073)
丹尼尔·伯金 类别和回指。(卡特戈里和回指) (法语) Zbl 0970.03513号 Denis(编辑)Miéville,Róle et enjeux de la concept de catégorie en logique。Neuchátel:Universityéde Neuch¨tel,Centre de Recherches Sémiologiques,Trav。日志。,美分。里奇。塞米奥。13, 109-124 (1999).MSC公司:03B65号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bourquin},特拉夫。日志。,美分。里奇。塞米奥。13、109--124(1999;Zbl 0970.03513)
彭特斯,M.R。 兰贝克语法演算的完备性。 (俄语。英文摘要) Zbl 0959.03014号 芬丹。普里克尔。材料。 第5期,第1期,193-219(1999).MSC公司:03B47号 20立方米 03B65号 65年第68季度 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Pentus},芬丹。普里克尔。材料5,编号1193-219(1999年;Zbl 0959.03014) 全文: 链接
雅科夫列夫,V.F。 功能系统的微观连续原子级运动。 (英语。俄文原件) Zbl 0963.68098号 多克。数学。 60,第1期,143-144(1999); 翻译自Dokl。阿卡德。恶心,罗斯。阿卡德。Nauk 367,No.6,744-745(1999)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式