TY - RPRT TI - Theories for TC0 and Other Small Complexity Classes AU - Phuong Nguyen AU - Stephen Cook PY - 2006 DO - 10.2168/lmcs-2(1:3)2006 UR - https://arxiv.org/abs/cs/0505013 ID - cs/0505013 ER -