@第{zbMATH06380850条，作者＝｛Dufourd，Jean-Fran｛\c｝ois｝，Title={有限域中函数轨道的形式化研究}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={564}，页码={63--88}，年份={2015年}，语言={英语}，DOI={10.1016/j.tcs.2014.10.041}，关键词={68T15,68Q60,68Q65,68U05}，zbMATH={6380850}，Zbl={1317.68208}}