Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Agrawal, M., Kayhal, N., Saxena, N.: PRIMES is in P. Annals of Mathematics 160, 781–793 (2004)
2. Beame, P.W., Cook, S.A., Hoover, H.J.: Log depth circuits for division and related problems. SIAM J. Computing 15, 994–1003 (1986)
3. Calvert, W., Cenzer, D., Harizanov, V., Morozov, A.: $\Delta^0_2$ categoricity of equivalence structures. Ann. Pure Appl. Logic (to appear)
4. Cenzer, D., Remmel, J.B.: Polynomial-time versus recursive models. Ann. Pure Appl. Logic 54, 17–58 (1991)
5. Cenzer, D., Remmel, J.B.: Polynomial-time Abelian groups. Ann. Pure Appl. Logic 56, 313–363 (1992)