托尔斯滕·维曼;汉斯·佩特·迪费尔;斯特凡·米利厄斯;卢茨·施罗德 从泛型分区细化到加权树自动机最小化。 (英语) Zbl 1519.68126号 正式Asp。计算。 33,编号4-5,695-727(2021).理学硕士:65年第68季度 60J20型 68问题85 87年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann}等人,《形式语法》。计算。33,编号4--5695-727(2021;兹bl 1519.68126) 全文: 内政部 arXiv公司 OA许可证
托尔斯滕·维曼;乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德 高效且模块化的余代数划分细化。 (英语) Zbl 1442.68113号 日志。方法计算。科学。 16,第1号,第8号论文,63页(2020年).理学硕士:68问题65 60J22型 65年第68季度 68问题85 87年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann}等人,《日志》。方法计算。科学。16,第1号,第8号论文,63页(2020年;Zbl 1442.68113) 全文: arXiv公司
乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德;托尔斯滕·维曼 有效的余代数划分精化。 (英语) Zbl 1442.68112号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第32条,第16页(2017年)。理学硕士:68问题65 60J22型 65年第68季度 68问题85 87年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{U.Dorsch}等人,LIPIcs——莱布尼茨国际程序。通知。85,第32条,第16页(2017年;Zbl 1442.68112) 全文: 内政部 arXiv公司