Memoization for Unary Logic Programming: Characterizing PTIME.

Thu, 01 Jan 2015 00:00:00 +0100

Clément Aubert, Marc Bagnol, Thomas Seiller:
Memoization for Unary Logic Programming: Characterizing PTIME. CoRR abs/1501.05104 (2015)