克里斯蒂安·乔夫鲁特;阿基尔·弗里吉里 决定在Presburger配方奶粉中是否需要订购。 （英语） Zbl 1204.03021号 离散数学。西奥。计算。科学。 12，第1期，21-38（2010）. 摘要：我们刻画了常数为1的整数组模型中一阶可定义的关系。这使我们能够表明，给定一个由该模型中的一阶公式定义的关系，该关系丰富了通常的顺序，它是否可以递归地确定，而不需要排序。 引用于三文件 MSC公司： 03B25号 理论和句子集的可决定性 30楼03号 一阶算法和片段 关键词：普雷斯伯格算法;可判定性;一阶可定义性 PDF格式BibTeX公司 XML格式引用 \textit{C.Choffrut}和\textit{A.Frigeri}，离散数学。西奥。计算。科学。12，第1号，第21--38号（2010；Zbl 1204.03021） 全文： 链接