Polynomial-time inverse computation for accumulative functions with multiple data traversals

Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano. Polynomial-time inverse computation for accumulative functions with multiple data traversals. Higher-Order and Symbolic Computation, 25(1):3-38, 2012. [doi]

Abstract

Abstract is missing.