@第{zbMATH07395149条，作者={Wi{\ss}mann、Thorsten和Deifel、Hans-Peter和Milius、Stefan和Schr{“o}der、Lutz}，Title={从泛型分区细化到加权树自动机最小化}，FJournal＝{计算的形式方面}，日志={正式Asp.Compute.}，ISSN＝{0934-5043}，体积={33}，数字={4-5}，页码={695--727}，年份={2021}，语言={英语}，DOI={10.1007/s00165-020-00526-z}，关键词={68Q45,60J20,68Q85,68Q87,68W40}，zbMATH={7395149}，Zbl=｛1519.68126｝}