Isabel Maria Oitavem Fonseca da Rocha Kahle


AuthID: R-000-6CX

Publicações Confirmadas: 22



1
TÍTULO: Numeral completeness of weak theories of arithmetic
AUTORES: Reinhard Kahle ; Oitavem, Isabel ; Santos, Paulo Guilherme ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGIC AND COMPUTATION
INDEXADO EM: WOS CrossRef
NO MEU: ORCID
2
TÍTULO: Implicit recursion-theoretic characterizations of counting classes  Full Text
AUTORES: Dal Lago, Ugo; Reinhard Kahle ; Oitavem, Isabel ;
PUBLICAÇÃO: 2022, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 61, NÚMERO: 7-8
INDEXADO EM: Scopus WOS DBLP CrossRef
3
TÍTULO: The polynomial hierarchy of functions and its levels  Full Text
AUTORES: Oitavem, I ;
PUBLICAÇÃO: 2022, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 900
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
4
TÍTULO: A Recursion-Theoretic Characterization of the Probabilistic Class PP
AUTORES: Ugo Dal Lago; Reinhard Kahle ; Isabel Oitavem ;
PUBLICAÇÃO: 2021, FONTE: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., VOLUME: 202
INDEXADO EM: Scopus DBLP Handle
5
TÍTULO: Lorenzen Between Gentzen and Schütte
AUTORES: Reinhard Kahle ; Isabel Oitavem ;
PUBLICAÇÃO: 2021, FONTE: Logic, Epistemology, and the Unity of Science, VOLUME: 51
INDEXADO EM: Scopus CrossRef Unpaywall
NO MEU: ORCID
6
TÍTULO: A recursion-theoretic characterisation of the positive polynomial-time functions
AUTORES: Das, A; Oitavem, I ;
PUBLICAÇÃO: 2018, FONTE: 27th Annual EACSL Conference Computer Science Logic, CSL 2018 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 119
INDEXADO EM: Scopus
NO MEU: ORCID
7
TÍTULO: What is Hilbert's 24th Problem?  Full Text
AUTORES: Reinhard Kahle ; Isabel Oitavem ;
PUBLICAÇÃO: 2018, FONTE: KAIROS-JOURNAL OF PHILOSOPHY & SCIENCE, VOLUME: 20, NÚMERO: 1
INDEXADO EM: WOS CrossRef: 2
NO MEU: ORCID
8
TÍTULO: Two function algebras defining functions in NCk boolean circuits  Full Text
AUTORES: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLICAÇÃO: 2016, FONTE: 4th Workshop on Developments in Implicit Computational Complexity in INFORMATION AND COMPUTATION, VOLUME: 248
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
9
TÍTULO: Applicative theories for the polynomial hierarchy of time and its levels  Full Text
AUTORES: Reinhard Kahle ; Oitavem, I ;
PUBLICAÇÃO: 2013, FONTE: Meeting on 3rd Classical Logic and Computation (CLAC) in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 164, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID
10
TÍTULO: From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace
AUTORES: Oitavem, I ;
PUBLICAÇÃO: 2013, FONTE: 22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 23
INDEXADO EM: Scopus
NO MEU: ORCID
Página 1 de 3. Total de resultados: 22.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service