Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
复制标题
超越普雷斯堡算术扩展中的无量词插值（扩展技术报告）
DOI：
10.48550/arxiv.1011.1036
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Brillout A
中科院分区：
文献类型：
--
作者：
Brillout A
