Personal profile
Education/Academic qualification
Matemática. Especialidade: Álgebra, Lógica e Fundamentos, Doctorate, Classes of Computational Complexity: Implicit Characterizations a Study in Mathematical Logic, Universidade de Lisboa
Award Date: 1 Jan 2001
Fingerprint
Dive into the research topics where Isabel Oitavem is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Numeral completeness of weak theories of arithmetic
Kahle, R., Oitavem, I. & Santos, P. G., Jan 2025, In: Journal Of Logic And Computation. 22 p.Research output: Contribution to journal › Article › peer-review
-
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories
Antonelli, M., Lago, U. D., Davoli, D., Oitavem, I. & Pistone, P., Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Implicit recursion-theoretic characterizations of counting classes
Dal Lago, U., Kahle, R. & Oitavem, I., 2022, In: Archive For Mathematical Logic. 61, p. 1129-1144 16 p.Research output: Contribution to journal › Article › peer-review
1 Link opens in a new tab Citation (Scopus) -
The polynomial hierarchy of functions and its levels
Oitavem, I., 8 Jan 2022, In: Theoretical Computer Science. 900, p. 25-34 10 p.Research output: Contribution to journal › Article › peer-review
3 Link opens in a new tab Citations (Scopus) -
A Recursion-Theoretic Characterization of the Probabilistic Class PP
Dal Lago, U., Kahle, R. & Oitavem, I., 1 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile4 Link opens in a new tab Citations (Scopus)27 Downloads (Pure)