@文章{zbMATH03454813，作者={Ashcroft，Edward and Manna，Zohar and Pnueli，Amir}，标题={一元函数模式的可决定属性}，FJournal＝{计算机协会期刊}，期刊={J.Assoc.Comput.Mach.}，ISSN={0004-5411}，体积＝{20}，页码={489--499}，年份={1973年}，语言={英语}，DOI={10.1145/321765.321780}，关键词={68Q45}，zbMATH={3454813}，Zbl={0289.68036}}