Publications 2018 - 2022 | Isabel Oitavem

Publications 2018 - 2022

Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem (2022) Implicit Recursion-Theoretic Characterizations of Counting Classes. Archive for Mathematical Logic. DOI: 10.1007/s00153-022-00828-4

Isabel Oitavem (online since Dec.2021) The polynomial hierarchy of functions and its levels. Theoretical Computer Science 900 (2022), pp.25-34. DOI:10.1016/j.tcs.2021.11.016

Reinhard Kahle, Isabel Oitavem (2021) Hugo Ribeiro (1910-1988). Boletim do Centro Internacional de Matemática 43, Dezembro 2021, pp.19-24. ISSN 2183-8070

Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem (2021) A Recursion-Theoretic Characterization of the Probabilistic Class PP. Filippo Bonchi and Simon J. Puglisi (Eds.), Mathematical Foundations of Computer Science 2021, Leibniz International Proceeding in Informatics (LIPIcs), Vol. 202. pp.35:1-35-12. DOI: 10.4230/LIPIcs.MFCS.2021.35

Reinhard Kahle, Isabel Oitavem (2021) Lorenzen Between Gentzen and Schuette. In: Heinzmann G., Wolters G. (Eds.) Paul Lorenzen -- Mathematician and Logician. Logic, Epistemology, and the Unity of Science, vol. 51, Springer.

Isabel Oitavem (2020) Towards #P. Oberwolfach Reports, vol. 17, issue 4. DOI: 10.4171/OWR/2020/34

Isabel Oitavem, Helena Rocha (2019) Barcodes: The Mathematics of everyday life. The Scottish Mathematical Council Journal, 2019, 44, 33-37. ISSN 2515-1347

Anupam Das, Isabel Oitavem (2018) A recursion-theoretic characterisation of the positive polynomial-time functions. 2018, vol. 119. Leibniz International Proceedings in Informatics, LIPIcs Link to publication in Scopus. DOI.

Reinhard Kahle, Isabel Oitavem (2018) What is Hilbert´s 24th Problem?. Kairos, Journal of Philosophy and Science, 2018, vol. 20, issue 1, pp.1-11. https://doi.org/10.2478/kjps-2018-0001