No photo of Isabel Oitavem

Isabel Oitavem

CMA Research Group - Algebra and Logic, Integrated member (PhD)

  • 28 Citations
  • 3 h-Index
20102019

Research output per year

If you made any changes in Pure these will be visible here soon.

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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output at NOVA

Barcodes: The Mathematics of everyday life

Rocha, H. & Oitavem, I., 2019, In : The Scottish Mathematical Council Journal. 49, p. 33-36

Research output: Contribution to journalArticle

A recursion-theoretic characterisation of the positive polynomial-time functions

Das, A. & Oitavem, I., 1 Aug 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 1 p. 18

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • What is Hilbert's 24th Problem?

    Kahle, R. & Oitavem, I., Jun 2018, In : KAIROS-JOURNAL OF PHILOSOPHY & SCIENCE. 20, 1, p. 1-11

    Research output: Contribution to journalArticle

    Open Access

    O computador enquanto tecnologia ao serviço da investigação matemática

    Kahle, R. & Oitavem, I., 2016, In : Educação e Matemática. 139-140, p. 70-72 3 p.

    Research output: Contribution to journalArticle

    Towards recursion schemata for the probabilistic class PP

    Kahle, R. & Kahle, I. M. O. F. D. R., 2016, In : Boletim da Sociedade Portuguesa de Matemática. Número especial, p. 91-94 4 p.

    Research output: Contribution to journalMeeting Abstract