Publications

Export 4 results:
Sort by: Author Title Type [ Year  (Desc)]
In Press
Bonfante, G., R. Kahle, J. - Y. Marion, and I. Oitavem. "Two functions algebras defining functions in NC^k boolean circuits." Information and Computation (In Press).
2014
Oitavem, I., and H. Rocha. "MATER: a matemática como uma perspetiva sobre o planeta Terra." Educação e Matemática. 126 (2014): 36-37.
Kahle, R., I. Oitavem, and H. Rocha. "Os problemas de Hilbert." Educação e Matemática. 130 (2014): 23-27.
Oitavem, I. "A recursion-theoretic approach to NP." Bulletin Of Symbolic Logic . 20.2 (2014): 239.