Nishant Totla公司;托马斯·怀斯 完成基于实例化的插值。 (英语) Zbl 1356.68203号 J.自动化。推理 57,第1号,37-65(2016).MSC公司:68吨15 03C40号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Totla}和\textit{T.Wies},J.Autom。推理57,No.1,37-65(2016;兹bl 1356.68203) 全文: DOI程序 链接
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 无量词Presburger算法的插值序列演算。 (英语) Zbl 1259.03043号 J.自动化。推理 47,第4期,341-367(2011).MSC公司:03B70型 03C40号 07年3月 30楼03号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人,J.Autom。推理47,No.4,341--367(2011;Zbl 1259.03043) 全文: DOI程序 链接