@第{zbMATH01965371条，作者={Mints，G.}，标题={使用偏导数的ε替换的终止证明}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={303}，数字={1}，页码={187--213}，年份={2003}，语言={英语}，DOI={10.1016/S0304-3975（02）00451-6}，关键词={03F03,03F05,03F30}，zbMATH={1965371}，Zbl=｛1032.03046｝}