Presburger Arithmetic with algebraic scalar multiplications
Presburger Arithmetic with algebraic scalar multiplications
复制标题
带有代数标量乘法的 Presburger 算术
DOI：
--
复制
发表时间：
2021
影响因子：
0.6
通讯作者：
Pak, Igor
中科院分区：
文献类型：
--
作者：
Hieronymi, Philipp;Nguyen, Danny;Pak, Igor
登录
查看更多内容
DOI：
--
发表时间：
2004
期刊：
影响因子：
--
作者：
Kevin M. Woods
通讯作者：
Kevin M. Woods
DOI：
10.1090/s0002-9939-2014-12023-5
发表时间：
2012
期刊：
IEEE Trans. Computers
影响因子：
--
作者：
Philipp Hieronymi;Michael A. Tychonievich
通讯作者：
Michael A. Tychonievich
多面体及其他整数点的生成函数的复杂性
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
A. Barvinok
通讯作者：
A. Barvinok
二元二次方程的 NP 完全决策问题
DOI：
--
发表时间：
1978
期刊：
Journal of computer and system sciences (Print)
影响因子：
--
作者：
Kenneth L. Manders;L. Adleman
通讯作者：
L. Adleman
奥斯特洛夫斯基计数系统、加法和有限自动机
DOI：
--
发表时间：
2014
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
Philipp Hieronymi;A. Terry
通讯作者：
A. Terry