克里斯托夫·Löding；沃尔夫冈·托马斯 有限树上的自动机。 （英语） 兹比尔07469505 Pin，Jean-Eric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。235-264（2021年）。MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}和\textit{W.Thomas}，摘自：自动机理论手册。第一卷理论基础。柏林：欧洲数学学会（EMS）。235-264（2021；Zbl 07469505） 全文： 内政部
克里斯托弗·齐巴；沃尔夫冈·托马斯；克里斯托弗·斯宾拉斯 无限字母表上的有限自动机：两个具有局部变化转换的模型。 （英语） Zbl 1387.68154号 发现的国际期刊。计算。科学。 29，第2期，213-231（2018）.MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Czyba}等人，国际期刊发现。计算。科学。29，第2号，213--231（2018；Zbl 1387.68154） 全文： 内政部
贝内迪克特·布吕奇；帕特里克·兰德威尔；沃尔夫冈·托马斯 \（mathbb{N}）-字母表上的内存自动机。 （英语） Zbl 1485.68137号 Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 91-102 (2017).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.Brütsch}等人，Lect。注释计算。科学。10168，91-102（2017；Zbl 1485.68137） 全文： 内政部
霍恩，弗洛里安；沃尔夫冈·托马斯；尼科·沃尔迈耶；马丁·齐默尔曼 请求响应游戏的最优策略综合。 （英语） Zbl 1347.68206号 西奥·雷罗。通知。申请。 49，第3期，179-203（2015）.MSC公司：65年第68季度 91A43型 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{F.Horn}等人，RAIRO，Theor。通知。申请。49，No.3，179--203（2015；Zbl 1347.68206） 全文： 内政部 arXiv公司
克里斯托弗·齐巴；克里斯托弗·斯宾拉斯；沃尔夫冈·托马斯 无限字母表上的有限自动机：两个具有局部变化转换的模型。 （英语） Zbl 1386.68088号 Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-21499-3/pbk；978-3-3169-21500-6/电子书）。计算机科学讲义9168203-214（2015）。MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Czyba}等人，Lect。注释计算。科学。9168203-214（2015；Zbl 1386.68088） 全文： 内政部
沃尔夫冈·托马斯 有限自动机和无限过渡系统的分析。 （英语） Zbl 1256.68113号 D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，495-527（2012）。MSC公司：65年第68季度 05年3月 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，IISc Res.Monogr.研究所。序列号。2495-527（2012；Zbl 1256.68113） 全文： 内政部 链接
纳米特查图维迪；奥尔舍夫斯基，约格；沃尔夫冈·托马斯 语言对\（\omega\）-常规无限游戏中的语言。 （英语） Zbl 1262.68087号 发现的国际期刊。计算。科学。 23，第5期，985-1000（2012）.MSC公司：65年第68季度 91A05型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Chaturvedi}等人，国际期刊发现。计算。科学。23，第5号，985--1000（2012；Zbl 1262.68087） 全文： 内政部
迈克尔·霍特曼；卢卡斯·凯泽；沃尔夫冈·托马斯 常规无限游戏中的前瞻度。 （英语） Zbl 1248.68299号 日志。方法计算。科学。 8，第3号，第24号论文，第15页（2012年）.MSC公司：65年第68季度 60年第68季度 68问题85 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Holtmann}等人，日志。方法计算。科学。8，第3号，第24号论文，第15页（2012；Zbl 1248.68299） 全文： 内政部
Ingo Felscher公司；沃尔夫冈·托马斯 结构化过渡系统中的组合故障检测。 （英语） Zbl 1297.68169号 Bouchou-Markhoff，Béatrice（编辑）等人，《自动机的实现和应用》。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22255-9/pbk）。计算机科学课堂讲稿6807130-141（2011）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Felscher}和\textit{W.Thomas}，莱克特。注释计算。科学。6807130--141（2011年；Zbl 1297.68169） 全文： 内政部 链接
纳米特·查图尔维迪；奥尔舍夫斯基，约格；沃尔夫冈·托马斯 语言vs.\（\omega \）-常规无限游戏中的语言。 （英语） Zbl 1221.68123号 Mauri，Giancarlo（编辑）等人，《语言理论的发展》。第15届国际会议，DLT 2011，2011年7月19日至22日，意大利米兰。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22320-4/pbk）。计算机科学讲义6795180-191（2011）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Chaturvedi}等人，Lect。注释计算。科学。6795、180--191（2011年；Zbl 1221.68123） 全文： 内政部
保罗·Hänsch；斯莱茨，迈克拉；沃尔夫冈·托马斯 参数化规则无限对策和高阶下推策略。 （英语） 兹比尔1252.68173 库蒂·奥斯基（Kutyłowski），米洛斯·aw（编辑）等，《计算理论基础》。2009年9月2日至4日在波兰Wrocław举行的FCT 2009第17届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03408-4/pbk）。计算机科学讲座笔记5699181-192（2009）。MSC公司：65年第68季度 05年3月 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hänsch}等人，Lect。注释计算。科学。5699、181--192（2009年；Zbl 1252.68173） 全文： 内政部 链接
沃尔夫冈·托马斯 同步路径逻辑。 （英语） Zbl 1230.03045号 Lodaya，Kamal（编辑）等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0943-3/hbk）。469-481 (2009). 审核人：丹尼尔拉·马林内斯库（布拉索夫） MSC公司：03B25号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，in：并发视角。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社。469--481（2009年；Zbl 1230.03045）
霍恩，弗洛里安；沃尔夫冈·托马斯；尼科·沃尔迈耶 请求响应博弈中的最优策略综合。 （英语） Zbl 1183.68340号 Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，361-373（2008）。MSC公司：65年第68季度 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Horn}等人，Lect。注释计算。科学。5311、361--373（2008年；Zbl 1183.68340） 全文： 内政部 arXiv公司
沃尔夫冈·托马斯 丘奇的问题和自动机理论之旅。 （英语） Zbl 1133.68367号 Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学讲座笔记4800，635-655（2008）。MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \给Lect发短信。注释计算。科学。4800、635--655（2008年；Zbl 1133.68367） 全文： 内政部
沃尔夫冈·托马斯 在规则无限游戏中优化获胜策略。 （英语） Zbl 1132.91318号 Geffert，Viliam（编辑）等人，SOFSEM 2008：计算机科学的理论与实践。2008年1月19日至25日，斯洛伐克斯莫科韦茨，第34届计算机科学理论和实践趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77565-2/pbk）。计算机科学课堂讲稿4910118-123（2008）。MSC公司：91A05型 91A43型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，莱克特。注释计算。科学。4910118-123（2008年；Zbl 1132.91318） 全文： 内政部
克里斯托夫·舒尔特·阿尔托夫；沃尔夫冈·托马斯；尼科·沃尔迈耶 关于Büchi自动机的确定性的观察。 （英语） Zbl 1153.68399号 西奥。计算。科学。 363，第2期，224-233（2006）.MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Althoff}等人，Theor。计算。科学。363，第2号，224--233（2006；Zbl 1153.68399） 全文： 内政部
克里斯托夫·舒尔特·阿尔托夫；沃尔夫冈·托马斯；尼科·沃尔迈尔 关于Büchi自动机确定的观察。 （英语） Zbl 1172.68490号 Farré，Jacques（编辑）等人，《自动机的实现和应用》。2005年6月27日至29日在法国索菲亚·安蒂波利斯举行的2005年CIAA第十届国际会议。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-31023-1/pbk）。计算机科学课堂讲稿3845262-272（2006）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Althoff}等人，Lect。注释计算。科学。3845226-272（2006年；兹比尔1172.68490） 全文： 内政部
朱利安·克里斯托；克里斯托夫·Löding；沃尔夫冈·托马斯 无秩树上的确定性自动机。 （英语） Zbl 1123.68055号 李希基维茨（Li sh kiewicz）、马西耶（Maciej）等，《计算理论基础》。2005年8月17日至20日，第15届国际研讨会，FCT，德国吕贝克。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28193-2/pbk）。计算机科学课堂讲稿362368-79（2005）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cristau}等人，Lect。注释计算。科学。3623、68--79（2005年；Zbl 1123.68055） 全文： 内政部
尼科·沃尔迈尔；帕特里克·Hütten；沃尔夫冈·托马斯 请求响应规范的有限状态控制器的符号综合。 （英语） Zbl 1279.68221号 Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2003年7月16日至18日，美国加利福尼亚州圣巴巴拉市，CIAA 2003，第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40561-5/pbk）。莱克特。注释计算。科学。2759, 11-22 (2003).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Wallmeier}等人，Lect。注释计算。科学。2759、11-22（2003年；Zbl 1279.68221） 全文： 内政部
简·亨里克，阿尔滕贝尔德；沃尔夫冈·托马斯；斯特凡·沃尔尔 无限图片上的平铺系统及其验收条件。 （英语） Zbl 1015.68117号 伊藤正美（编辑）等，《语言理论的发展》。第六届国际会议，DLT 2002，日本京都，2002年9月18日至21日。修订论文。柏林：斯普林格。莱克特。注释计算。科学。2450, 297-306 (2003).MSC公司：65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.-H.Altenbernd}等人，Lect。注释计算。科学。2450297-306（2003年；兹bl 1015.68117） 全文： 链接
沃尔夫冈·托马斯 统一和非统一识别。 （英语） Zbl 1064.68059号 西奥。计算。科学。 292，第1期，299-316（2003）.MSC公司：65年第68季度 70年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{W.托马斯}，Theor。计算。科学。292，第1号，299--316（2003；Zbl 1064.68059） 全文： 内政部
沃尔夫冈·托马斯 无限自动机简介。 （英语） Zbl 1073.68671号 Kuich，Werner（编辑）等人，《语言理论的发展》。第五届国际会议，DLT 2001，奥地利维也纳，2001年7月16-21日。修订论文。柏林：施普林格出版社（ISBN 3-540-43453-4）。莱克特。注释计算。科学。2295, 130-144 (2002).MSC公司：65年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，莱克特。注释计算。科学。2295130-144（2002年；Zbl 1073.68671） 全文： 链接
蒂埃里·卡查特；雅克·杜帕克；沃尔夫冈·托马斯 用（Sigma_3）获胜条件解决下推游戏。 （英语） Zbl 1020.68049号 朱利安·布拉德菲尔德（编辑），《计算机科学逻辑》。第16届国际研讨会，CSL 2002，EACSL第11届年会，苏格兰爱丁堡，英国，2002年9月22日至25日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2471, 322-336 (2002).MSC公司：60年第68季度 2015年3月 91A43型 91A44型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Cachat}等人，Lect。注释计算。科学。2471322--336（2002年；Zbl 1020.68049） 全文： 链接
奥利维尔·卡尔顿；沃尔夫冈·托马斯 形态无限词和概括的一元理论。 （英语） Zbl 1012.03015号 Inf.计算。 176，第1期，第51-65页（2002年）.MSC公司：03B25号 05年3月 65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit｛O.Carton｝和\textit｛W.Thomas｝，信息计算。176，No.1，51--65（2002；Zbl 1012.03015） 全文： 内政部
克里斯托夫·Löding；沃尔夫冈·托马斯 在无限单词上交替使用自动机和逻辑（扩展抽象）。 （英语） Zbl 0998.68526号 van Leeuwen，Jan（编辑）等人，《理论计算机科学》。探索理论信息学的新领域。2000年8月17日至19日在日本仙台举行的IFIP TCS 2000国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1872, 521-535 (2000).MSC公司：2005年第68季度 65年第68季度 05年3月 03B25号 03B15号机组 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}和\textit{W.Thomas}，莱克特。注释计算。科学。1872521-535（2000年；Zbl 0998.68526）
奥利维尔·卡尔顿；沃尔夫冈·托马斯 关于变形无限词和推广的一元理论。 （英语） Zbl 0996.03005号 尼尔森、莫根斯（编辑）等人，《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1893, 275-284 (2000).MSC公司：03B25号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}和\textit{W.Thomas}，莱克特。注释计算。科学。1893，275--284（2000；Zbl 0996.03005）
格列泽戈兹·罗森贝格（编辑）；沃尔夫冈·托马斯（编辑） 语言理论的发展。基础、应用程序和前景。第四届国际会议记录，德国亚琛，1999年7月6日至9日。 （英语） Zbl 0954.00045号 新加坡：世界科学。ix，385页（2000年）。MSC公司：00B25型 68-06 2006年4月 03-06 65年第68季度 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Rozenberg}（编辑）和textit{W.Thomas}（主编），语言理论的发展。基础、应用和观点。第四届国际会议记录，德国亚琛，1999年7月6-9日。新加坡：《世界科学》（2000年；兹bl 0954.00045）
沃尔夫冈·托马斯 重新审视了Büchi自动机的补充。 （英语） Zbl 0979.68546号 Karhumäki，Juhani（编辑）等人，《珠宝是永恒的》。对理论计算机科学的贡献，以纪念阿尔托·萨洛马。柏林：斯普林格。109-120 (1999).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，in：珠宝是永恒的。对理论计算机科学的贡献，以纪念阿尔托·萨洛马。柏林：斯普林格。109-120（1999；Zbl 0979.68546）
沃尔夫冈·托马斯 Ehrenfeucht游戏、构词方法和序数词的单子理论。 （英语） Zbl 0888.0302号 Mycielski，Jan（编辑）等人，《逻辑与计算机科学结构》。为纪念安德烈·埃伦菲希特（1997年8月8日，65岁生日）而作的论文选集。柏林：斯普林格。莱克特。注释计算。科学。1261, 118-143 (1997). 审核人：A.纳贝宾（莫斯科） MSC公司：03B25号 05年3月 03C07号机组 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，莱克特。注释计算。科学。1261、118--143（1997；Zbl 0888.0302）
多拉·贾马雷西；安东尼奥·雷斯蒂沃；塞巴斯蒂安·塞伯特；沃尔夫冈·托马斯 矩形图上的一元二阶逻辑和通过拼接系统的可识别性。 （英语） Zbl 0853.68131号 Inf.计算。 125，第1期，32-45（1996）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Giammaresi}等人，《信息计算》。125，编号1，32-45（1996；Zbl 0853.68131） 全文： 内政部
伊娜·希林；沃尔夫冈·托马斯 无计数器自动机、一阶逻辑和前缀预言扩展的无星表达式。 （英语） Zbl 1096.68667号 Dassow，Jürgen（编辑）等人，《语言理论的发展》。二、。处于数学、计算机科学和生物学的十字路口。1995年7月17日至21日在德国马格德堡举行的会议的论文。新加坡：世界科学（ISBN 981-02-2682-9）。166-175 (1996).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{I.Schiering}和textit{W.Thomas}，《语言理论的发展》。二、。处于数学、计算机科学和生物学的十字路口。1995年7月17日至21日在德国马格德堡举行的会议的论文。新加坡：世界科学。166-175（1996年；Zbl 1096.68667）
H·斯特劳宾。；Thérien，D。；托马斯·W·。 正则语言、有限幺半群和电路复杂性的逻辑。 （英语） Zbl 0874.68218号 John Fountain（编辑），半群，形式语言和群。《北约高级研究所学报》，英国约克，1993年8月7日至21日。多德雷赫特：Kluwer学术出版社。北约ASI系列。，序列号。C、 数学。物理。科学。466, 119-146 (1995). 审核人：T.J.Harju（图尔库） MSC公司：70年第68季度 05年3月 20立方米 03B15号机组 94立方厘米10 65年第68季度 03B80号 2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Straubing}等人，北约ASI Ser。，序列号。C、 数学。物理。科学。466119--146（1995年；Zbl 0874.68218）
霍华德·斯特劳宾；丹尼斯·塞里安；沃尔夫冈·托马斯 用广义量词定义的正则语言。 （英语） Zbl 0826.68072号 Inf.计算。 118，第2期，289-301（1995）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Straubing}等人，《基础计算》。118，第2号，289--301（1995；Zbl 0826.68072） 全文： 内政部
沃尔夫冈·托马斯 关于无限对策中策略的综合。 （英语） Zbl 1379.68233号 Mayr，Ernst W.（编辑）等人，STACS 95。1995年3月2日至4日，德国慕尼黑，第十二届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-59042-0）。计算机科学讲义900，1-13（1995）。MSC公司：65年第68季度 91A05型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，莱克特。注释计算。科学。900，1-13（1995年；兹bl 1379.68233） 全文： 内政部
安德烈亚斯·波托夫；塞巴斯蒂安·塞伯特；沃尔夫冈·托马斯 有向非循环图上有限自动机的非确定性与确定性。 （英语） Zbl 0803.68032号 牛市。贝尔格。数学。Soc.-西蒙·斯特文 1，第2期，285-298（1994）.MSC公司：第68季度10 65年第68季度 68兰特 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Potthoff}等人，公牛。贝尔格。数学。Soc.-Somon Stevin 1，No.2，285--298（1994；Zbl 0803.68032） 全文： 欧洲DML
沃尔夫冈·托马斯 规则无限对策中的有限状态策略。 （英语） Zbl 1044.68663号 Thiagarajan，P.S.（编辑），《软件技术和理论计算机科学基础》。第14次会议，1994年12月15日至17日，印度马德拉斯。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-58715-2/SC）。莱克特。注释计算。科学。880, 149-158 (1994).MSC公司：65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，莱克特。注释计算。科学。880149-158（1994年；Zbl 1044.68663）
多拉·贾马雷西；塞巴斯蒂安·塞伯特；安东尼奥·雷斯蒂沃；沃尔夫冈·托马斯 图片上的一元二阶逻辑和通过平铺系统的可识别性。 （英语） Zbl 0941.68611号 Patrice Enjalbert等人，STACS 94。1994年2月24日至26日，法国卡昂，第十一届计算机科学理论方面年度研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第775365-375页（1994年）。MSC公司：65年第68季度 03B15号机组 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Giammaresi}等人，莱克特。注释计算。科学。775365-375（1994年；Zbl 0941.68611）
沃尔夫冈·托马斯 理论计算机科学中的Ehrenfeucht-Fraíssé博弈（扩展抽象）。 （英语） Zbl 1497.03049号 Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥尔赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。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 0794.68088号 埃西克，佐尔坦（编辑），《计算理论基础》。第九届国际会议，1993年8月23日至27日，匈牙利塞格德FCT’93。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。710, 396-405 (1993).MSC公司：65年第68季度 03B15号机组 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Potthoff}和\textit{W.Thomas}，莱克特。注释计算。科学。710396--405（1993年；Zbl 0794.68088）
沃尔夫冈·托马斯 在\（\omega\）-字上的无限树和自动机定义关系。 （英语） Zbl 0760.68043号 西奥。计算。科学。 103，第1期，143-159（1992）. 审核人：W.托马斯 MSC公司：65年第68季度 60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{W.托马斯}，Theor。计算。科学。103，第1号，143--159（1992；Zbl 0760.68043） 全文： 内政部
沃尔夫冈·托马斯 关于逻辑、平铺和自动机。 （英语） Zbl 0769.68100号 自动化、语言和编程、Proc。第18国际学院，马德里/西班牙，1991年，法律。注释计算。科学。510, 441-454 (1991).MSC公司：65年第68季度 03B25号 05年3月 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，莱克特。注释计算。科学。510、441--454（1991年；Zbl 0769.68100）
沃尔夫冈·托马斯 无限对象上的自动机。 （英语） Zbl 0900.68316号 van Leeuwen，Jan（编辑），形式模型和语义。理论计算机科学手册。第二卷阿姆斯特丹等：爱思唯尔。133-191（1990年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，in：形式模型和语义。理论计算机科学手册。第二卷阿姆斯特丹等：爱思唯尔。133--191（1990年；Zbl 0900.68316）
托马斯·W·。 计算树逻辑和常规语言。（技术贡献）。 （英语） Zbl 0683.68064号 逻辑和并发模型中的线性时间、分支时间和偏序，Proc。研讨会，Noordwijkerhout/NL 1988，Lect。注释计算。科学。354, 690-713 (1989). 审核人：N.Curteanu公司 MSC公司：65年第68季度 03B44号 PDF格式BibTeX公司 XML格式
霍华德·斯特劳宾；丹尼斯·塞里安；沃尔夫冈·托马斯 用广义量词定义的正则语言。 （英语） 兹比尔0658.68098 自动化、语言和编程、Proc。第15国际集团，坦佩雷/芬兰。1988年，Lect。注释计算。科学。317, 561-575 (1988). 审核人：L.斯泰格 MSC公司：65年第68季度 03B10号机组 PDF格式BibTeX公司 XML格式
利珀特，D。；托马斯·W·。 相对化的无星表达式、一阶逻辑和串联游戏。 （英语） Zbl 0644.68104号 半群-理论与应用，Proc。会议，Oberwolfach/FRG 1986，勒克特。数学笔记。1320, 194-204 (1988).MSC公司：65年第68季度 03B10号机组 PDF格式BibTeX公司 XML格式
沃尔夫冈·托马斯 命题时间逻辑中的安全性和活性：特征化和可判定性。 （英语） Zbl 0759.03011号 计算理论中的数学问题，Proc。第26学期，华沙/波兰，1985年，巴纳赫中心。出版物。21, 403-417 (1988).MSC公司：03B45号 65年第68季度 03B25号 20立方米 03C80号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，巴纳赫分币。出版物。21403--417（1988；Zbl 0759.03011）
沃尔夫冈·托马斯 串联游戏和点深度层次结构。 （英语） Zbl 0643.68073号 计算理论与逻辑，D.Rödding Occas。第50年安尼夫。出生，莱克特。注释计算。科学。270, 415-426 (1987).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式
沃尔夫冈·托马斯 在普通树木的边缘。 （英语） 兹伯利0639.68071 RAIRO，Inf.Théor公司。申请。 20, 371-381 (1986).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，RAIRO，通知。塞奥尔。申请。20、371--381（1986年；Zbl 0639.68071） 全文： 内政部 欧洲DML
沃尔夫冈·托马斯 Ehrenfeucht-Fraissé博弈在形式语言理论中的应用。 （英语） Zbl 0558.68064号 梅姆。社会数学。法语，Nouv。Sér。 1984年11月16日至21日.MSC公司：65年第68季度 05年3月 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，梅姆。社会数学。法语，Nouv。Sér。16、11--21（1984年；Zbl 0558.68064） 全文： 内政部 Numdam编号 欧洲DML
沃尔夫冈·托马斯 树语言研究中的逻辑方面。 （英语） Zbl 0557.68051号 《代数和编程树》，第九届学术研讨会，波尔多/法国，1984年，31-49（1984）。 审核人：M.斯坦比 MSC公司：65年第68季度 20立方米 03立方厘米99 PDF格式BibTeX公司 XML格式
沃尔夫冈·托马斯 在符号逻辑中对常规事件进行分类。 （英语） Zbl 0503.68055号 J.计算。系统。科学。 25, 360-376 (1982).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，J.Comput（计算机）。系统。科学。25、360-376（1982；Zbl 0503.68055） 全文： 内政部
沃尔夫冈·托马斯 无限树集合的层次结构。 （英语） 兹比尔0502.03022 《理论计算机科学》，第六届GI-Conf.，多特蒙德，1983年，莱克托。注释计算。科学。145, 335-342 (1982).MSC公司：05年3月 65年第68季度 PDF格式BibTeX公司 XML格式
沃尔夫冈·托马斯 欧米伽自动机理论的组合方法。 （英语） Zbl 0478.03020号 Inf.控制 48, 261-283 (1981).MSC公司：05年3月 65年第68季度 03立方厘米99 03B25号 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，《信息控制》48，261--283（1981；Zbl 0478.03020） 全文： 内政部
沃尔夫冈·托马斯 关于星高问题的备注。 （英语） Zbl 0453.68026号 西奥。计算。科学。 13, 231-237 (1981).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{W.托马斯}，Theor。计算。科学。13、231--237（1981年；Zbl 0453.68026） 全文： 内政部
沃尔夫冈·托马斯 \（\omega \）-序列的无星正则集。 （英语） Zbl 0411.03031号 Inf.控制 42, 148-156 (1979).MSC公司：05年3月 65年第68季度 03B25号 03B10号机组 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，Inf.Control 42，148--156（1979；Zbl 0411.03031） 全文： 内政部