Presburger相关论文
设有序加法群(G,+,<, 0)是一个Presburger 算数理论的模型。本文研究了Gn 上的f-generic 型,并且对其给出了一个分类定理。利用这......
期刊
设有序加法群(G,+,<, 0)是一个Presburger算数理论的模型。本文研究了G~n上的f-generic型,并且对其给出了一个分类定理。利用这个......