@第{zbMATH07334853条，作者={Koga，Toshihiro}，Title={通过{Dickson}引理}证明{Parikh}定理，FJournal={国际计算机科学基础杂志}，日志={Int.J.Found.Comput.Sci.}，ISSN={0129-0541}，体积={32}，数字={2}，页码={163--173}，年份={2021}，语言={英语}，DOI={10.1142/S01290541215009X}，关键词={68Q45.20M35,68Q42}，zbMATH={7334853}，Zbl={1474.68175}}