戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 对无序流进行运行时验证。 (英语) Zbl 1433.68208号 ACM事务处理。计算。日志。 21,第1号,第5条,43页(2020年).MSC公司:60年第68季度 03B44号 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,ACM Trans。计算。日志。21,第1号,第5条,43页(2020年;Zbl 1433.68208) 全文: 内政部 arXiv公司
奥利弗·弗里德曼;费利克斯·克莱特克;马丁·兰格 基于Ramsey的可视下推自动机包含检查。 (英语) Zbl 1367.68169号 ACM事务处理。计算。日志。 第16号第4条第34条第24页(2015年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}等人,《美国医学杂志》。计算。日志。16,第4号,第34条,24页(2015;Zbl 1367.68169) 全文: 内政部
费利克斯·克莱特克 Presburger算法的自动机大小的边界。 (英语) Zbl 1407.03053号 ACM事务处理。计算。日志。 9,第2号,第11条,第34页(2008年).MSC公司:05年3月 03英尺30英寸 03C10号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Klaedtke},ACM翻译。计算。日志。9,第2号,第11条,第34页(2008年;Zbl 1407.03053) 全文: 内政部 arXiv公司