Theories for TC0 and Other Small Complexity Classes

Phuong Nguyen, Stephen A. Cook. Theories for TC0 and Other Small Complexity Classes. Logical Methods in Computer Science, 2(1), 2006. [doi]

Abstract

Abstract is missing.