Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, PEPM 2012
Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, PEPM 2012
复制标题
具有多次数据遍历的累积函数的多项式时间逆计算，PEPM 2012
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
and Keisuke Nakano
中科院分区：
文献类型：
--
作者：
Kazutaka Matsuda;Kazuhiro Inaba;and Keisuke Nakano
登录
查看更多内容
确定性自顶向下树传感器的不可判定属性
DOI：
10.1016/0304-3975(94)90241-0
发表时间：
1994
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Zoltán Fülöp
通讯作者：
Zoltán Fülöp
DOI：
--
发表时间：
2009
期刊：
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2009)
影响因子：
--
作者：
Naoki Kobayashi;Types and Higher-Order
通讯作者：
Types and Higher-Order
DOI：
--
发表时间：
2002
期刊：
The Essence of Computation
影响因子：
--
作者：
Sergei M. Abramov;R. Glück
通讯作者：
R. Glück
DOI：
10.1109/swat.1973.5
发表时间：
1973
期刊：
--
影响因子：
--
作者：
W. Rounds
通讯作者：
W. Rounds
用于提高可证明性的去累积技术
DOI：
10.1016/j.jlap.2006.11.001
发表时间：
2007
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
J. Giesl;Armin Kühnemann;J. Voigtländer
通讯作者：
J. Voigtländer