Isabel Maria Oitavem Fonseca da Rocha Kahle


AuthID: R-000-6CX

Publicações Confirmadas: 22



11
TÍTULO: Monotonicity Constraints in Characterizations of PSPACE
AUTORES: Amir M Ben Amram; Bruno Loff ; Isabel Oitavem ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 22, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID
12
TÍTULO: A recursion-theoretic approach to NP  Full Text
AUTORES: Oitavem, I ;
PUBLICAÇÃO: 2011, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 162, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID | ResearcherID
13
TÍTULO: An applicative theory for FPH PDF  Full Text
AUTORES: Reinhard Kahle ; Isabel Oitavem ;
PUBLICAÇÃO: 2010, FONTE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., VOLUME: 47
INDEXADO EM: Scopus DBLP arXiv CrossRef
NO MEU: ORCID
14
TÍTULO: Logspace without Bounds
AUTORES: Isabel Oitavem ;
PUBLICAÇÃO: 2010, FONTE: - Ways of Proof Theory
INDEXADO EM: CrossRef: 1
NO MEU: ORCID
15
TÍTULO: Characterizing PSPACE with pointers  Full Text
AUTORES: Isabel Oitavem ;
PUBLICAÇÃO: 2008, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 54, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef: 8
NO MEU: ORCID | ResearcherID
16
TÍTULO: Recursion Schemata for NC(k)
AUTORES: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLICAÇÃO: 2008, FONTE: 22nd International Workshop on Computer Science Logic/17th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 5213
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
17
TÍTULO: Towards an implicit characterization of NC(k)
AUTORES: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLICAÇÃO: 2006, FONTE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
18
TÍTULO: Characterizing NC with tier 0 pointers  Full Text
AUTORES: Oitavem, I ;
PUBLICAÇÃO: 2004, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 50, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 7
NO MEU: ORCID | ResearcherID
19
TÍTULO: Separating NC along the delta axis  Full Text
AUTORES: Bellantoni, S; Oitavem, I ;
PUBLICAÇÃO: 2004, FONTE: Workshop on Implicit Computational Complexity in THEORETICAL COMPUTER SCIENCE, VOLUME: 318, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID | ResearcherID
20
TÍTULO: A term rewriting characterization of the functions computable in polynomial space  Full Text
AUTORES: Oitavem, I ;
PUBLICAÇÃO: 2002, FONTE: Archive for Mathematical Logic, VOLUME: 41, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 6
NO MEU: ORCID
Página 2 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