盖塔诺·盖克;巴斯·凯茨曼;法兰克·奈文;托马斯·施温蒂克 具有并集和求反的联合查询的并行正确性和包含性。 (英语) Zbl 1433.68117号 ACM事务处理。计算。日志。 第20条第3款第18条第24页(2019年).MSC公司:第68页,共15页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Geck}等人,ACM Trans。计算。日志。20,第3号,第18条,第24页(2019年;Zbl 1433.68117) 全文: 内政部 链接
伤口凝胶;马塞尔·马夸特;托马斯·施温蒂克 形式语言的动态复杂性。 (英语) Zbl 1351.68108号 ACM事务处理。计算。日志。 第13号第3条第19条第36页(2012年).MSC公司:2015年第68季度 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Gelade}等人,ACM Trans。计算。日志。13,第3号,第19条,36页(2012年;Zbl 1351.68108) 全文: 内政部 链接
Mikołaj博扬奇克;克莱尔·大卫;安卡·穆斯科尔;托马斯·施温蒂克;卢克·塞古芬 数据字上的双变量逻辑。 (英语) Zbl 1352.03041号 ACM事务处理。计算。日志。 第12号第4条第27条第26页(2011年).MSC公司:03B70号 03年2月25日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojaáczyk}等人,《美国医学杂志》。计算。日志。12,第4号,第27条,第26页(2011年;Zbl 1352.03041) 全文: 内政部
法兰克·奈文;托马斯·施温蒂克;维克托·维亚努 无限字母字符串的有限状态机。 (英语) Zbl 1367.68175号 ACM事务处理。计算。日志。 5,第3期,403-435(2004).MSC公司:65年第68季度 03年2月25日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Neven}等人,ACM Trans。计算。日志。5,第3号,403--435(2004;Zbl 1367.68175) 全文: 内政部
马丁·格罗;托马斯·施温蒂克 序内变量一阶公式的位置。 (英语) Zbl 1365.68204号 ACM事务处理。计算。日志。 第1期,第112-130页(2000年).MSC公司:第68页,共15页 03B10号机组 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{T.Schwentick},ACM Trans。计算。日志。第1号,第112-130页(2000年;Zbl 1365.68204) 全文: 内政部