托尔斯滕·维曼;汉斯·佩特·迪费尔;斯特凡·米利厄斯;卢茨·施罗德 从泛型分区细化到加权树自动机最小化。 (英语) Zbl 1519.68126号 正式Asp。计算。 33,编号4-5,695-727(2021).MSC公司:65年第68季度 60J20型 68问题85 87年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Wißmann}等人,《形式语法》。计算。33,编号4--5,695--727(2021;Zbl 1519.68126) 全文: 内政部 arXiv公司 OA许可证
托尔斯滕·维曼;乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德 高效且模块化的余代数划分细化。 (英语) Zbl 1442.68113号 日志。方法计算。科学。 16,第1号,第8号论文,63页(2020年).MSC公司: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公司