路德维希·施泰格 析取词集的拓扑。 （英语） 兹比尔1499.68196 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。421-430 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Staiger}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。421--430（2001年；Zbl 1499.68196） 全文： 内政部
阿托·萨洛马 DNA字母表上具有互补性的迭代形态。 （英语） Zbl 1499.68164号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。405-420（2001年）。MSC公司：2012年第68季度 2007年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。405--420（2001年；Zbl 1499.68164） 全文： 内政部
赫尔穆特·普罗丁格 单词、Dyck小路、树木和缩略语。 （英语） Zbl 1504.05015号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。369-379（2001年）。MSC公司：05年05月05日 2015年1月5日 65年第68季度 11页A55 PDF格式BibTeX公司 XML格式引用 \textit{H.Prodinger}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。369--379（2001年；Zbl 1504.05015） 全文： 内政部 arXiv公司
西田，大信县。;Seki、Shigeko Parikh控制的上下文无关文法的定义及其一些性质。 （英语） Zbl 1499.68163号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。357-367 (2001).MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Y.Nishida}和\textit{S.Seki}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。357--367（2001年；Zbl 1499.68163） 全文： 内政部
冈杜拉·尼曼;弗里德里希·奥托 关于RRWW的力量——自然主义。 （英语） Zbl 1499.68191号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。341-355 (2001).MSC公司：65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Niemann}和textit{F.Otto}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。341--355（2001年；Zbl 1499.68191） 全文： 内政部
莫里斯·马根斯坦;尤里·罗杰欣 度为1的时变分布式H系统生成所有递归可枚举语言。 （英语） Zbl 1499.68189号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。329-339 (2001).MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Margenstern}和textit{Y.Rogozhin}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。329--339（2001年；Zbl 1499.68189） 全文： 内政部
文森佐·曼卡 论迭代转导的生成力。 （英语） Zbl 1499.68188号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。315-327 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Manca}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。315-327（2001年；兹bl 1499.68188） 全文： 内政部
李，贾;盛田贤一 通过唯一并行可分析文法生成和解析形态语言。 （英语） Zbl 1499.68186号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。303-314 (2001).MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Lee}和\textit{K.Morita}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。303--314（2001年；Zbl 1499.68186） 全文： 内政部
拉什洛·卡桑尼 如何使用无上下文语法生成二进制代码。 （英语） Zbl 1499.68183号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。289-301（2001年）。MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kászonyi}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。289--301（2001年；Zbl 1499.68183） 全文： 内政部
卡里、莉拉;佩恩，安德烈 DNA生物化学建议的字符串操作：平衡切割操作。 （英语） Zbl 1499.68108号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。275-287 (2001).MSC公司：2007年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kari}和\textit{A.Pun}，in：单词，半群，转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。275--287（2001年；Zbl 1499.68108） 全文： 内政部
伊藤、马萨米;卡洛斯·马丁·维德;佩恩，古奥热 用P系统描述ET0L语言的Parikh集。 （英语） Zbl 1499.68181号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。239-253 (2001).MSC公司：65年第68季度 2007年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ito}等人，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。239--253（2001年；Zbl 1499.68181） 全文： 内政部
露西恩·伊利 论无语境语言的广义细长性。 （英语） Zbl 1499.68180号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。189-202 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ilie}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。189-202（2001年；Zbl 1499.68180） 全文： 内政部
Juha Honkala 关于二进制字母表上的稀疏0L语言。 （英语） Zbl 1499.68179号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。181-188 (2001).MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Honkala}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。181-188（2001年；Zbl 1499.68179） 全文： 内政部
头部，汤姆 使用原始能力可视化语言。 （英语） 兹比尔1499.68178 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。169-180 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛T.Head｝，in：单词，半群，\&转导。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。169-180（2001年；Zbl 1499.68178） 全文： 内政部
费伦茨·盖塞格;马格纳斯·斯坦比 DR树语言的最小识别器和语法幺半群。 （英语） Zbl 1499.68177号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。155-167 (2001).MSC公司：65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Gécseg}和textit{M.Steinby}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。155-167（2001年；兹bl 1499.68177） 全文： 内政部
费伦茨·盖塞格;巴拉兹·伊姆雷 单调树和不确定树自动机的同构表示。 （英语） Zbl 1499.68176号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。141-154 (2001).MSC公司：65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Gécseg}和\textit{B.Imreh}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。141——154（2001年；Zbl 1499.68176） 全文： 内政部
亨宁费尔瑙;拉尔夫·斯蒂贝 目标集的配价语法。 （英语） Zbl 1499.68160号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。129-140（2001年）。MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}和\textit{R.Stiebe}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。129——140（2001年；Zbl 1499.68160） 全文： 内政部
范成明;Shyr，Huei-Jan公司 连锁闭对和森林语言。 （英语） Zbl 1499.68174号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。115-127（2001年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Fan}和textit{H.-J.Shyr}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。115-127（2001年；Zbl 1499.68174） 全文： 内政部
佐尔坦·埃西克;沃纳·库奇 Kozen正则集方程理论公理化的推广。 （英语） Zbl 1499.68207号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。99-114 (2001).MSC公司：70年第68季度 2015年2月6日 2016年60月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.εsik}和textit{W.Kuich}，in：单词，半群，转导。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。99-114（2001年；Zbl 1499.68207） 全文： 内政部
于尔根·达索 受语法参数限制的条件语法。 （英语） Zbl 1499.68159号 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。59-68 (2001).MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。59-68（2001年；Zbl 1499.68159） 全文： 内政部
胡安·卡斯特拉诺斯;维克托·米特拉纳 关于发夹语言和循环语言的一些评论。 （英语） 兹比尔1499.68168 Masami，Ito（编辑）等人，《单词、半群和转义》。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。47-58 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Castellanos}和textit{V.Mitrana}，in：单词、半群和转义。为纪念加布里埃尔·蒂林而举行的庆祝活动。新加坡：世界科学出版社。47-58（2001年；Zbl 1499.68168） 全文： 内政部
J.Beauquier。;Bérard，B。;弗里堡，L。;马格尼特，F。 使用一阶重写和正则语言证明自稳定系统的收敛性。 （英语） Zbl 1448.68328号 分布计算。 14，第2期，83-95（2001）.MSC公司：68问题85 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Beauquier}等人，《分布计算》。14，第2号，83-95（2001年；兹bl 1448.68328） 全文： 内政部
白明强 模糊正则语言的一些性质。 （中文。英文摘要） Zbl 1332.68106号 模糊系统。数学。 15，第1期，71-74（2001）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Q.Bai}，模糊系统。数学。15，编号1，71--74（2001；Zbl 1332.68106）
保罗·马特乌斯;安托尼奥·帕切科;哈维尔·品托;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 概率情境演算。 （英语） Zbl 1314.68299号 安。数学。Artif公司。智力。 32，编号1-4，393-431（2001）.MSC公司：68T27型 03B48号 65年第68季度 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{P.Mateus}等人，《数学年鉴》。Artif公司。智力。32，编号1--4，393--431（2001；Zbl 1314.68299） 全文： 内政部
佩恩，古奥热;格列泽戈兹·罗森贝格;高石横森 发夹语言。 （英语） Zbl 1319.68139号 发现的国际期刊。计算。科学。 第6期第12期第837-847页（2001年）.MSC公司：65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun}等人，国际期刊发现。计算。科学。12，第6号，837--847（2001；Zbl 1319.68139） 全文： 内政部
奥斯卡·H·伊巴拉。;特维克布尔坦;苏建文 无限状态系统中的可达性和安全性。 （英语） Zbl 1319.68084号 发现的国际期刊。计算。科学。 12，第6号，821-836（2001）.MSC公司：2005年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人，国际法学研究所。计算。科学。12，第6号，821--836（2001；Zbl 1319.68084） 全文： 内政部
卡尔蒂基扬·巴尔干;萨蒂什·钱德拉;彼得·麦肯。;卡尔·A·冈特。 可能出现的数据包：用于网络监控的自动机。 （英语） 兹比尔1323.68199 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。206-219 (2001).MSC公司：68号30 68个M12 68甲15 65年第68季度 60年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。206-219（2001；Zbl 1323.68199） 全文： 内政部
Lee、Chin Soon;尼尔·D·琼斯。;本·阿姆拉姆，阿米尔·M。 程序终止的大小更改原则。 （英语） 兹比尔1323.68216 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。81-92 (2001).MSC公司：68号30 68甲18 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.S.Lee｝等人，在：第28届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。81-92（2001年；Zbl 1323.68216） 全文： 内政部
细野县细野;本杰明·皮尔斯 XML的正则表达式模式匹配。 （英语） Zbl 1323.68076号 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。67-80 (2001).MSC公司：68甲15 68甲18 68号30 68第05页 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hosoya}和\textit{B.Pierce}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。67-80（2001年；Zbl 1323.68076） 全文： 内政部 链接
雅各布·雷霍夫;曼努埃尔·芬德里奇 类型基流分析：从多态亚型到CFL可达性。 （英语） Zbl 1323.68226号 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。54-66 (2001).MSC公司：68号30 68甲15 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Rehof}和\textit{M.Fähndrich}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。54-66（2001年；Zbl 1323.68226） 全文： 内政部
鲍里斯·特拉赫滕布罗特 自动机、电路和混合动力：连续时间的各个方面。 （英语） Zbl 1323.68282号 2001年STOC第三十三届ACM计算理论年会论文集。2001年7月6日至8日，希腊克里特岛赫索尼索斯。纽约州纽约市：ACM出版社（ISBN 1-581-13349-9）。754-755（2001年）。MSC公司：2005年第68季度 65年第68季度 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{B.Trakhtenbrot}，in：第三十三届ACM计算理论研讨会论文集，STOC 2001。赫尔索尼索斯，克里特岛，希腊，2001年7月6-8日。纽约州纽约市：ACM出版社。754--755（2001年；Zbl 1323.68282） 全文： 内政部
法罗赫·瓦坦 概率自动机的分布函数。 （英语） Zbl 1323.68347号 2001年STOC第三十三届ACM计算理论年会论文集。2001年7月6日至8日，希腊克里特岛赫索尼索斯。纽约州纽约市：ACM出版社（ISBN 1-581-13349-9）。684-693 (2001).MSC公司：65年第68季度 60E05型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Vatan}，in：第三十三届ACM计算理论年会论文集，STOC 2001。赫尔索尼索斯，克里特岛，希腊，2001年7月6-8日。纽约州纽约市：ACM出版社。684--693（2001年；Zbl 1323.68347） 全文： 内政部
卢卡·德·阿尔法罗;鲁帕克·马朱姆达尔 （ω）-正则博弈的定量解。 （英语） Zbl 1323.68417号 2001年STOC第三十三届ACM计算理论年会论文集。2001年7月6日至8日，希腊克里特岛赫索尼索斯。纽约州纽约市：ACM出版社（ISBN 1-581-13349-9）。675-683 (2001).MSC公司：68问题85 65年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}和\textit{R.Majumdar}，摘自：第三十三届ACM计算理论研讨会论文集，STOC 2001。赫尔索尼索斯，克里特岛，希腊，2001年7月6-8日。纽约州纽约市：ACM出版社。675--683（2001年；Zbl 1323.68417） 全文： 内政部
泰瑟·图利 使用加宽技术定期进行模型检查。 （英语） Zbl 1262.68130号 理查德·迈尔（编辑），《VEPAS 2001》。参数化系统的验证（2001年ICALP卫星研讨会），希腊克里特岛，2001年7月13日。波塞丁斯。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第4期，342-356（2001）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛T.Touili｝，电子。注释Theor。计算。科学。50，第4号，342--356（2001；Zbl 1262.68130） 全文： 内政部
弗拉德·鲁苏;埃琳娜·齐诺维耶娃 使用Presburger算法和未解释的函数符号分析自动机。 （英语） Zbl 1262.68039号 理查德·迈尔（编辑），《VEPAS 2001》。参数化系统的验证（2001年ICALP卫星研讨会），希腊克里特岛，2001年7月13日。波塞丁斯。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第4期，327-341（2001）。MSC公司：68号30 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}和\textit{E.Zinovieva}，电子。注释Theor。计算。科学。50，第4号，327--341（2001；Zbl 1262.68039） 全文： 内政部
西瓦苏布拉曼亚姆，Y。;卡马拉·克里蒂瓦桑 使用分布式加权有限自动机进行图像表示。 （英语） Zbl 1260.68437号 Fourey，Sebastien（编辑）等人，IWCIA 2001。第八届组合图像分析国际研讨会论文集，美国宾夕法尼亚州费城坦普尔大学，2001年8月23日至24日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记46161-176（2001）。MSC公司：68平方英寸10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sivasubramanyam}和\textit{K.Krithivasan}，电子。注释Theor。计算。科学。46、161--176（2001年；Zbl 1260.68437） 全文： 内政部
J.J.M.M.鲁顿。 流演算的基本要素（一个广泛的共创练习）。 （英语） Zbl 1260.68246号 Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日，丹麦奥胡斯，奥胡斯大学，第17届编程语义数学基础会议论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，358-423（2001）。MSC公司：68问题65 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.M.M.Rutten}，电子。注释Theor。计算。科学。45、358--423（2001年；Zbl 1260.68246） 全文： 内政部
戈登·普洛金;权力，约翰 代数运算的语义。 （英语） Zbl 1260.68220号 Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日，丹麦奥胡斯，奥胡斯大学，第17届编程语义数学基础会议论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，332-345（2001）。MSC公司：68问题55 18立方厘米 18 C50 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Plotkin}和\textit{J.Power}，电子。注释Theor。计算。科学。45、332--345（2001年；Zbl 1260.68220） 全文： 内政部
马丁·海兰德;权力，约翰 伪交换单子。 （英语） Zbl 1260.18006号 Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日，丹麦奥胡斯，奥胡斯大学，第17届编程语义数学基础会议论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，197-208（2001）。MSC公司：18 C50 18立方厘米 18D05日 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}和\textit{J.Power}，电子。注释Theor。计算。科学。45、197--208（2001年；Zbl 1260.18006） 全文： 内政部
Dan R.吉卡。 调用值编程语言的正则语言语义。 （英语） Zbl 1260.68095号 Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日，丹麦奥胡斯，奥胡斯大学，第17届编程语义数学基础会议论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，106-118（2001）。MSC公司：68号30 68甲15 68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Ghica}，电子。注释Theor。计算。科学。45、106-118（2001年；Zbl 1260.68095） 全文： 内政部
霍华德·鲍曼（编辑）;约翰·德里克（编辑） 分布式处理的形式化方法。面向对象方法综述。 （英语） Zbl 1233.68012号 剑桥：剑桥大学出版社（ISBN 0-521-77184-6/hbk）。x、 480页。(2001).MSC公司：68-06 68问题85 68甲19 60年第68季度 68号30 64岁以下 68甲15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}（ed.）和\textit{J.Derrick}（edi.），分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（2001；Zbl 1233.68012）
托马斯·杰奈特;瓦莱里·托恩（Valérie Viet Triem Tong） Timbuk术语重写系统的可达性分析。 （英语） 兹比尔1275.68083 Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。人工智能课堂讲稿，695-706（2001）。MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet}和\textit{V.T.Tong}，Lect。注释计算。科学。2250、695--706（2001年；Zbl 1275.68083） 全文： 内政部 链接
弗兰兹·巴德;拉尔夫·库斯特斯 描述逻辑中角色传递闭包的统一。 （英语） Zbl 1275.68134号 Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。人工智能课堂讲稿，217-232（2001）。MSC公司：68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛F.Baader｝和\textit｛R.Küsters｝，Lect。注释计算。科学。2250、217--232（2001年；Zbl 1275.68134） 全文： 内政部 链接
克劳斯·施耐德 通过考虑自动机层次结构改进线性时序逻辑的自动机生成。 （英语） Zbl 1275.68096号 Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。人工智能课堂讲稿，39-54（2001）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Schneider}，莱克特。注释计算。科学。2250、39-54（2001年；Zbl 1275.68096） 全文： 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。 关于有界规范。 （英语） Zbl 1275.68094号 Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。人工智能课堂讲稿，24-38（2001）。MSC公司：60年第68季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。2250、24-38（2001年；Zbl 1275.68094） 全文： 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。 弱交替自动机并没有那么弱。 （英语） Zbl 1171.68551号 ACM事务处理。计算。日志。 2，第3期，408-429（2001）.MSC公司：60年第68季度 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi}，ACM Trans。计算。日志。2，第3号，408--429（2001；Zbl 1171.68551） 全文： 内政部 链接
Juha Honkala DT0L序列等价问题的三种变体。 （英语） Zbl 1312.68114号 加州大学洛杉矶分校 7，第10号，886-892（2001）.MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Honkala}，J.UCS 7，第10号，886--892（2001；Zbl 1312.68114） 全文： 链接
丹尼尔·克罗布;Jean女士;Michos、Ioannis 平均Cartier-Foata痕迹高度。 （英语） Zbl 1184.05007号 Nešetřil，Jaroslav（ed.）et al.，Comb01-Euroconference on combinatics，graph theory and applications。2001年9月12日至15日，西班牙巴塞罗那，会议的扩展摘要。阿姆斯特丹：爱思唯尔。离散数学电子笔记10，164-171（2001）。MSC公司：2015年1月5日 2015年5月 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Krob}等人，《电子》。注释离散数学。10、164--171（2001年；Zbl 1184.05007） 全文： 内政部
邱道文 基于完全剩余格值逻辑的自动机理论。 （英语） Zbl 1125.68383号 科学。中国，Ser。F、。 44，第6期，419-429（2001）.MSC公司：65年第68季度 03B52号 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{D.邱}，科学。中国，Ser。F 44，编号6，419--429（2001；Zbl 1125.68383） 全文： 内政部
约阿希姆·尼伦;蒂姆·普莱斯尼茨 自动机理论中的非结构子类型蕴涵。 （英语） Zbl 1087.68524号 Kobayashi，Naoki（编辑）等人，《计算机软件的理论方面》。2001年10月29日至31日，第四届国际研讨会，TACS 2001，日本仙台。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42736-8/pbk）。计算机科学课堂讲稿2215，360-384（2001）。MSC公司：68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}和\textit{T.Priesnitz}，莱克特。注释计算。科学。2215，360-384（2001；Zbl 1087.68524） 全文： 链接
马丁·范策尔 多项式混合自动机的最终结果是什么？ （英语） Zbl 1087.68571号 Kobayashi，Naoki（编辑）等人，《计算机软件的理论方面》。2001年10月29日至31日，第四届国际研讨会，TACS 2001，日本仙台。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42736-8/pbk）。计算机科学课堂讲稿2215，340-359（2001）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}，莱克特。注释计算。科学。2215、340-359（2001年；Zbl 1087.68571） 全文： 链接
克里斯汀·保林·莫林 Coq中时间自动机的建模。 （英语） Zbl 1087.68575号 Kobayashi，Naoki（编辑）等人，《计算机软件的理论方面》。2001年10月29日至31日，第四届国际研讨会，TACS 2001，日本仙台。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42736-8/pbk）。计算机科学课堂讲稿2215，298-315（2001）。MSC公司：65年第68季度 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Paulin-Mohring}，莱克特。注释计算。科学。2215、298--315（2001年；Zbl 1087.68575） 全文： 链接
彼得·艾德里安斯（Pieter W.Adriaans）。 在简单分布下学习浅层上下文无关语言。 （英语） Zbl 1077.68882号 Vermeulen，Kees（编辑）等人，《语言、逻辑和计算中的代数、图表和决策》。加利福尼亚州斯坦福：CSLI出版物（ISBN 1-57586-372-3/pbk；1-57584-371-5/pbk）。CSLI演讲笔记144，135-168（2001）。MSC公司：68T50型 68问题32 65年第68季度 68T05型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Adriaans}，CSLI Lect。附注144、135--168（2001年；Zbl 1077.68882）
博戈莫洛夫，A.S。;D.V.斯佩兰斯基。 线性自动机的最佳同步实验。 （英语。俄文原件） Zbl 1093.68594号 自动化。远程控制 62，第10期，1725-1730（2001）; 来自Avtom的翻译。Telemekh公司。2001年，第10期，203-208（2001）。MSC公司：65年第68季度 70年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Bogomolov}和\textit{D.V.Speranskiĭ}，Autom。遥控器62，编号10，1725-1730（2001；Zbl 1093.68594）；来自Avtom的翻译。Telemekh公司。2001年，第10号，203--208（2001） 全文： 内政部
M.V.沃尔科夫。 由某些变换半群生成的有限拟变元的可判定性。 （英语） Zbl 1058.08012号 代数大学。 46，第1-2号，97-103（2001）. 审核人：拉多米尔·哈拉什（奥洛穆克） MSC公司：08C15号 20平方米 20立方米 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Volkov}，代数大学。46，编号1--2，97-103（2001；Zbl 1058.08012） 全文： 内政部
北非维克托洛娃。;Yu Ozhigov。一、。 林登迈耶系统作为计算模型。 （俄语） Zbl 1050.68098号 维斯特。罗斯。德鲁日大学。纳尔。，序列号。材料。 2001年，33-46（2001）. 审核人：安德烈·泽姆斯科夫（莫斯科） MSC公司：65年第68季度 2005年第68季度 68层35 68单位15 PDF格式BibTeX公司 XML格式引用 \textit{N.B.Viktorova}和\textit{Yu.I.Ozhigov}，Vestn。罗斯。德鲁日大学。纳尔。，序列号。材料2001，33-46（2001；Zbl 1050.68098）
A.V.巴巴什。 不乘以畸变的周期序列的自动机映射。 （英语。俄文原件） Zbl 1088.68626号 离散数学。申请。 11，第4期，357-372（2001）; 从Diskretn翻译。材料13，编号3，42-56（2001）。MSC公司：65年第68季度 37B10号机组 37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Babash}，离散数学。申请。11，第4号，357--372（2001；Zbl 1088.68626）；从Diskretn翻译。材料13，编号3，42-56（2001） 全文： 内政部
吉塞拉·德萨拉津;Rondón，Juan E。 一些离散事件系统链。 （英语） Zbl 1042.93517号 非线性分析。，理论方法应用。 47，第3期，1571-1580（2001）.MSC公司：93C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.De Sarrazin}和\textit{J.E.Rondón}，非线性分析。，理论方法应用。，序列号。A、 理论方法47，No.3，1571--1580（2001；Zbl 1042.93517） 全文： 内政部
法语，蒂姆 量化命题分支时间逻辑的可判定性。 （英语） 兹比尔1052.03007 Stumptner，Markus（编辑）等人，AI 2001：人工智能的进展。第十四届澳大利亚联合会议，澳大利亚阿德莱德，2001年12月10日至14日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42960-3）。莱克特。注释计算。科学。2256, 165-176 (2001).MSC公司：03B44号 03B25号 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.法语}，Lect。注释计算。科学。2256、165--176（2001年；Zbl 1052.03007） 全文： 链接
诺曼·福;阿卜哈亚·纳亚克;莫里斯·帕格努科;张东墨 再次访问状态最小化。 （英语） Zbl 1052.68723号 Stumptner，Markus（编辑）等人，AI 2001：人工智能的进展。第十四届澳大利亚联合会议，澳大利亚阿德莱德，2001年12月10日至14日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42960-3）。莱克特。注释计算。科学。2256, 153-164 (2001).MSC公司：68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛N.Foo｝等人，Lect。注释计算。科学。2256153-164（2001年；Zbl 1052.68723） 全文： 链接
达纳·菲斯曼;阿米尔·普努利 除了定期模型检查。 （英语） Zbl 1052.68084号 Hariharan，Ramesh（编辑）等人，FST TCS 2001：软件技术和理论计算机科学基础。第21届会议，印度班加罗尔，2001年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43002-4）。莱克特。注释计算。科学。2245, 156-170 (2001).MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}和\textit{A.Pnueli}，莱克特。注释计算。科学。2245156-170（2001年；Zbl 1052.68084） 全文： 链接
当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉 带有自由计数器的可逆有界多计数器机器的活性验证。 （英语） Zbl 1053.03021号 Hariharan，Ramesh（编辑）等人，FST TCS 2001：软件技术和理论计算机科学基础。第21届会议，印度班加罗尔，2001年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43002-4）。莱克特。注释计算。科学。2245，132-143（2001年）。MSC公司：05年3月 03B25号 60年第68季度 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Dang｝等人，Lect。注释计算。科学。2245132--143（2001年；Zbl 1053.03021） 全文： 链接
科林·斯特林 DPDA等价的可判定性介绍。 （英语） Zbl 1057.68051号 Hariharan，Ramesh（编辑）等人，FST TCS 2001：软件技术和理论计算机科学基础。第21届会议，印度班加罗尔，2001年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43002-4）。莱克特。注释计算。科学。2245, 42-56 (2001).MSC公司：65年第68季度 68问题85 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.斯特林}，莱克特。注释计算。科学。2245，42-56（2001年；Zbl 1057.68051） 全文： 链接
布鲁斯·沃森。 构造最小非循环确定性有限自动机的算法分类。 （英语） Zbl 1050.68592号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 174-182 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.W.Watson}，莱克特。注释计算。科学。2214、174--182（2001年；Zbl 1050.68592） 全文： 链接
A.N.特拉特曼。 一种验证确定性有限自动机局部阈值可测性的算法。 （英语） 兹比尔1050.68097 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 164-173 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Trahtman}，莱克特。注释计算。科学。2214，164--173（2001；Zbl 1050.68097） 全文： arXiv公司 链接
Seuring，M。;Gössel，M。 实现为电路的时序自动机的输出压缩结构方法。 （英语） Zbl 1050.68591号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 158-163 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Seuring}和\textit{M.Gössel}，莱克特。注释计算。科学。2214、158--163（2001年；Zbl 1050.68591） 全文： 链接
佩恩，古奥热;加布里埃尔·蒂尔林 通过有限状态传感器系统进行多集处理。 （英语） Zbl 1050.68044号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 140-157 (2001).MSC公司：2005年第68季度 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun}和\textit{G.Thierrin}，莱克特。注释计算。科学。2214、140--157（2001年；Zbl 1050.68044） 全文： 链接
格特詹·范诺德;戴尔·格德曼 用于自然语言处理中有限状态方法的可扩展正则表达式编译器。 （英语） Zbl 1050.68604号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 122-139 (2001).MSC公司：68T50型 68N20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.van Noord}和\textit{D.Gerdemann}，莱克特。注释计算。科学。2214、122--139（2001年；Zbl 1050.68604） 全文： 链接
乔治·安东·基拉兹 稀疏有限状态传感器的压缩存储。 （英语） Zbl 1050.68589号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 109-121 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Kiraz}，莱克特。注释计算。科学。2214、109--121（2001年；Zbl 1050.68589） 全文： 链接
赫尔穆特·尤根森;路德维希·施泰格 编码几何图形的有限自动机。 （英语） Zbl 1050.68568号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 101-108 (2001).MSC公司：第68页 68平方英寸10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Jürgensen}和\textit{L.Staiger}，莱克特。注释计算。科学。2214、101--108（2001年；Zbl 1050.68568） 全文： 链接
多拉·贾马雷西;珍妮·卢克·蓬蒂;伍德，德里克 汤普森有向图：一个特征。 （英语） Zbl 1050.68092号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 91-100 (2001).MSC公司：65年第68季度 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{D.Giammaresi}等人，莱克特。注释计算。科学。2214、91--100（2001年；Zbl 1050.68092） 全文： 链接
埃拉米安，Mark G。 计算有限自动机编码的二进制图像的熵映射。 （英语） Zbl 1050.68567号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 81-90 (2001).MSC公司：第68页 68平方英寸10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Eramian}，莱克特。注释计算。科学。2214、81-90（2001年；Zbl 1050.68567） 全文： 链接
C？mpeanu，C。;库利克，K。;凯·萨洛马;于盛 有限语言基本操作的状态复杂性。 （英语） Zbl 1050.68091号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 60-70 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Cámpeanu}等人，Lect。注释计算。科学。2214、60-70（2001年；Zbl 1050.68091） 全文： 链接
克里斯蒂安·卡鲁德。;凯·萨洛马;于盛 量度词汇分析。 （英语） Zbl 1050.68090号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 48-59 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Calude}等人，Lect。注释计算。科学。2214、48-59（2001年；Zbl 1050.68090） 全文： 链接
比阿特丽克斯·布劳恩;斯蒂芬·迪尔;安德烈亚斯·凯伦;莱因哈德·威廉 为学习软件生成和计算有限自动机的动画。 （英语） Zbl 1050.97500 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 39-47 (2001).MSC公司：97个u70 65年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Braune}等人，Lect。注释计算。科学。2214、39-47（2001年；Zbl 1050.97500） 全文： 链接
安妮·贝杰伦;里卡多·卡塔拉诺 带有计时器的反应系统分析。 （英语） 兹比尔1050.68588 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 27-38 (2001).MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bergeron}和\textit{R.Catalano}，莱克特。注释计算。科学。2214、27-38（2001年；Zbl 1050.68588） 全文： 链接
菲利普·安达里;卡隆，帕斯卡;Jean-Marc Champarnaud公司;杰拉德·杜尚;玛丽安·弗洛伊特;埃里克·劳格洛特 SEA：自动机理论的符号环境。 （英语） Zbl 1050.68587号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 13-26 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Andary}等人，Lect。注释计算。科学。2214、13-26（2001年；Zbl 1050.68587） 全文： 链接
杰罗姆·阿米尔赫斯特雷;菲利普·詹森;玛丽·凯瑟琳·维勒姆 一类有限语言的FA最小化启发式。 （英语） Zbl 1050.68087号 Boldt，Oliver（编辑）等人，《自动化实现》。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修订论文。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 1-12 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Amilhastre}等人，Lect。注释计算。科学。2214，1--12（2001；Zbl 1050.68087） 全文： 链接
武士浩 单向量子有限自动机等价的多项式时间算法。 （英语） 兹比尔1077.68670 Peter Eades等人，《算法与计算》。2001年12月19日至21日在新西兰基督城举行的第十二届国际研讨会，ISAAC 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42985-9）。莱克特。注释计算。科学。2223, 268-278 (2001).MSC公司：65年第68季度 2005年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{T.Koshiba}，莱克特。注释计算。科学。2223268--278（2001年；Zbl 1077.68670） 全文： 链接
Hiroaki山本 一种新的扩展正则表达式识别算法。 （英语） Zbl 1077.68671号 Peter Eades等人，《算法与计算》。2001年12月19日至21日在新西兰基督城举行的第十二届国际研讨会，ISAAC 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42985-9）。莱克特。注释计算。科学。2223, 257-267 (2001).MSC公司：65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{H.Yamamoto}，莱克托。注释计算。科学。2223257-267（2001年；兹bl 1077.68671） 全文： 链接
奥斯卡·H·伊巴拉。;当、哲 在可达性结构中移除下推堆栈。 （英语） Zbl 1077.68668号 Peter Eades等人，《算法与计算》。2001年12月19日至21日在新西兰基督城举行的第十二届国际研讨会，ISAAC 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42985-9）。莱克特。注释计算。科学。2223, 244-256 (2001).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{Z.Dang}，莱克特。注释计算。科学。2223244--256（2001年；Zbl 1077.68668） 全文： 链接
曼弗雷德·库德克;维克托·米特拉纳 文法的正规形式、有限自动机、抽象族和多集语言的闭包属性。 （英语） Zbl 1052.68065号 Calude，Cristian S.（编辑）等人，《多集处理》。数学、计算机科学和分子计算的观点。柏林：施普林格出版社（ISBN 3-540-43063-6）。莱克特。注释计算。科学。2235, 135-146 (2001).MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kudlek}和\textit{V.Mitrana}，莱克特。注释计算。科学。2235135-146（2001年；兹比尔1052.68065） 全文： 链接
于尔根·达索 Parikh映射和迭代。 （英语） Zbl 1052.68072号 Calude，Cristian S.（编辑）等人，《多集处理》。数学、计算机科学和分子计算的观点。柏林：施普林格出版社（ISBN 3-540-43063-6）。莱克特。注释计算。科学。第2235页，85-101页（2001年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow}，莱克特。注释计算。科学。2235，85-101（2001；Zbl 1052.68072） 全文： 链接
埃兹贝特·苏哈伊·瓦尔朱;卡洛斯·马丁·维德;维克托·米特拉纳 多集自动机。 （英语） Zbl 1052.68071号 Calude，Cristian S.（编辑）等人，《多集处理》。数学、计算机科学和分子计算的观点。柏林：施普林格出版社（ISBN 3-540-43063-6）。莱克特。注释计算。科学。2235, 69-83 (2001).MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Csuhaj-Varjü}等人，Lect。注释计算。科学。2235、69-83（2001年；Zbl 1052.68071） 全文： 链接
马丁·普拉特克 双向重启自动机和j单调性。 （英语） Zbl 1052.68628号 Pacholski，Leszek（编辑）等人，SOFSEM 2001：信息学理论与实践。2001年11月24日至12月1日在斯洛伐克共和国皮埃什塔尼举行的第28届信息学理论和实践当前趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42912-3）。莱克特。注释计算。科学。2234, 316-325 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Plátek}，莱克特。注释计算。科学。22343116-325（2001年；兹bl 1052.68628） 全文： 链接
亨宁费尔瑙 常规语言的近似学习。 （英语） Zbl 1052.68073号 Pacholski，Leszek（编辑）等人，SOFSEM 2001：信息学理论与实践。2001年11月24日至12月1日在斯洛伐克共和国皮埃什塔尼举行的第28届信息学理论和实践当前趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42912-3）。莱克特。注释计算。科学。第2234、223-232页（2001年）。MSC公司：65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}，莱克特。注释计算。科学。2234、223--232（2001年；Zbl 1052.68073） 全文： 链接
理查德·邦纳;弗赖夫德斯（Rásiņsh）;马克西姆·克拉夫采夫 带计数器的量子与概率单向有限自动机。 （英语） Zbl 1052.68038号 Pacholski，Leszek（编辑）等人，SOFSEM 2001：信息学理论与实践。2001年11月24日至12月1日在斯洛伐克共和国皮埃什塔尼举行的第28届信息学理论和实践当前趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42912-3）。莱克特。注释计算。科学。2234, 181-190 (2001).MSC公司：2005年第68季度 65年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{R.Bonner}等人，Lect。注释计算。科学。2234、181--190（2001年；Zbl 1052.68038） 全文： 链接
科林·德·拉·希格拉;让·克里斯托夫 从前缀推断\（\omega \）-语言。 （英语） Zbl 1050.68084号 Abe，Naoki（编辑）等人，《算法学习理论》。第十二届国际会议，ALT 2001，美国华盛顿特区，2001年11月25日至28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42875-5）。莱克特。注释计算。科学。2225, 364-377 (2001).MSC公司：68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.de la Higuera}和\textit{J.-C.Janodet}，莱克特。注释计算。科学。2225364--377（2001年；Zbl 1050.68084） 全文： 链接
弗朗索瓦·丹尼斯;奥雷连·勒梅;阿兰·特鲁特 使用RFSA学习常规语言。 （英语） Zbl 1050.68058号 Abe，Naoki（编辑）等人，《算法学习理论》。第十二届国际会议，ALT 2001，美国华盛顿特区，2001年11月25日至28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42875-5）。莱克特。注释计算。科学。2225, 348-363 (2001).MSC公司：68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Denis}等人，Lect。注释计算。科学。22251348-363（2001年；兹bl 1050.68058） 全文： 链接
斯特芬·兰格;Gunter Grieser公司;克劳斯·詹特克。 扩展基本形式系统。 （英语） 兹比尔1050.68069 Abe，Naoki（编辑）等人，《算法学习理论》。第十二届国际会议，ALT 2001，美国华盛顿特区，2001年11月25日至28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42875-5）。莱克特。注释计算。科学。2225, 332-347 (2001).MSC公司：68问题32 65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Lange}等人，Lect。注释计算。科学。2225332--347（2001年；Zbl 1050.68069） 全文： 链接
静仁幕内;佐藤、Masako 拒绝与邻居系统学习语言。 （英语） Zbl 1050.68074号 Abe，Naoki（编辑）等人，《算法学习理论》。第十二届国际会议，ALT 2001，美国华盛顿特区，2001年11月25日至28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42875-5）。莱克特。注释计算。科学。2225, 267-282 (2001).MSC公司：68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mukouchi}和\textit{M.Sato}，莱克特。注释计算。科学。2225267--282（2001年；Zbl 1050.68074） 全文： 链接
桑杰·贾恩;吴彦高;Tay，Tiong Seng先生 在工会中学习语言。 （英语） Zbl 1050.68064号 Abe，Naoki（编辑）等人，《算法学习理论》。第十二届国际会议，ALT 2001，美国华盛顿特区，2001年11月25日至28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42875-5）。莱克特。注释计算。科学。2225, 235-250 (2001).MSC公司：68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人，Lect。注释计算。科学。2225235-250（2001年；Zbl 1050.68064） 全文： 链接
Pawłowski、Wies \322»aw 抽象背景机构的演示。 （英语） Zbl 1043.68073号 Cerioli，Maura（编辑）等人，代数开发技术的最新趋势。第15次国际研讨会，WADT 2001，与CoFI工作组会议联合，意大利热那亚，2001年4月1日至3日。精选论文。柏林：施普林格出版社（ISBN 3-540-43159-4）。莱克特。注释计算。科学。2267, 256-279 (2001).MSC公司：68问题65 18 C50 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{W.Pawłowski}，莱克特。注释计算。科学。2267256-279（2001年；Zbl 1043.68073） 全文： 链接
J.Félix科斯塔;卢伦索，H。 规范的行为制度。 （英语） Zbl 1043.68071号 Cerioli，Maura（编辑）等人，代数开发技术的最新趋势。第15次国际研讨会，WADT 2001，与CoFI工作组会议联合，意大利热那亚，2001年4月1日至3日。精选论文。柏林：施普林格出版社（ISBN 3-540-43159-4）。莱克特。注释计算。科学。2267, 71-84 (2001).MSC公司：68问题65 68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Costa}和\textit{H.Lourenço}，Lect。注释计算。科学。226771-84（2001年；Zbl 1043.68071） 全文： 链接
加利福尼亚州卡莱罗。;Mateus，P。;J·拉莫斯。;塞尔纳达斯，A。 结合逻辑：重新审视羊皮纸。 （英语） Zbl 1043.03027号 Cerioli，Maura（编辑）等人，代数开发技术的最新趋势。第15次国际研讨会，WADT 2001，与CoFI工作组会议联合，意大利热那亚，2001年4月1日至3日。精选论文。柏林：施普林格出版社（ISBN 3-540-43159-4）。莱克特。注释计算。科学。2267, 48-70 (2001).MSC公司：03B70号 03G30型 18 C50 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人，Lect。注释计算。科学。226748-70（2001年；Zbl 1043.03027） 全文： 链接
姜志松 规则122的基本细胞自动机的复杂性分析。 （英语） Zbl 1103.68477号 下巴。科学。牛。 46，第7号，600-603（2001）.MSC公司：68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Jiang}，Chin（中国）。科学。牛市。46，第7号，600--603（2001；Zbl 1103.68477） 全文： 内政部
塔贾纳·武利奇;Obradović、Đ或 一种用于对图书馆信息系统报告进行形式化描述的语言。 （英语） 兹比尔1067.68533 Herceg，D.（编辑）等人，PRIM 2000。第十四届应用数学会议记录，2000年5月29日至6月2日，南斯拉夫巴利奇。诺维·萨德：诺维·萨德大学，科学院，数学研究所。195-202 (2001). 审核人：戈达纳·巴甫洛维奇-拉泽蒂奇（贝尔格莱德） MSC公司：68甲15 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{T.Vulić}和\textit{Đ.Obradović}，in：PRIM 2000。第十四届应用数学会议记录，2000年5月29日至6月2日，南斯拉夫巴利奇。诺维·萨德：诺维·萨德大学，科学院，数学研究所。195-202（2001年；Zbl 1067.68533）
马塞拉·安塞尔莫 根据Schützenberger猜想构造有限极大码。 （英语） 兹比尔1042.68058 安东尼奥·雷斯蒂沃（编辑）等人，《理论计算机科学》。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42672-8）。莱克特。注释计算。科学。2202, 197-214 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Anselmo}，莱克特。注释计算。科学。2202197-214（2001；Zbl 1042.68058） 全文： 链接
多拉·贾马雷西;罗莎·蒙塔尔巴诺;伍德，德里克 块确定的正则语言。 （英语） Zbl 1042.68062号 安东尼奥·雷斯蒂沃（编辑）等人，《理论计算机科学》。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42672-8）。莱克特。注释计算。科学。2202, 184-196 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Giammaresi}等人，莱克特。注释计算。科学。2202184--196（2001年；兹比尔1042.68062） 全文： 链接
亚历山德拉·切鲁比尼;克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;圣彼得罗，皮耶路易吉 联想语言描述的一些结构属性。 （英语） Zbl 1042.68608号 安东尼奥·雷斯蒂沃（编辑）等人，《理论计算机科学》。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42672-8）。莱克特。注释计算。科学。2202, 172-183 (2001).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cherubini}等人，莱克特。注释计算。科学。2202172-183（2001年；Zbl 1042.68608） 全文： 链接