Characterizing polynomial time computable functions using theories with weak set existence principles

Aleksandar Ignjatovic, Phuong Nguyen. Characterizing polynomial time computable functions using theories with weak set existence principles. Electronic Notes in Theoretical Computer Science, 78:112-122, 2003. [doi]

No reviews for this publication, yet.