Isabel Maria Oitavem Fonseca da Rocha Kahle


AuthID: R-000-6CX

Confirmed Publications: 22



11
TITLE: Monotonicity Constraints in Characterizations of PSPACE
AUTHORS: Amir M Ben Amram; Bruno Loff ; Isabel Oitavem ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 22, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | ResearcherID
12
TITLE: A recursion-theoretic approach to NP  Full Text
AUTHORS: Oitavem, I ;
PUBLISHED: 2011, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 162, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID | ResearcherID
13
TITLE: An applicative theory for FPH PDF  Full Text
AUTHORS: Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus DBLP arXiv CrossRef
IN MY: ORCID
14
TITLE: Logspace without Bounds
AUTHORS: Isabel Oitavem ;
PUBLISHED: 2010, SOURCE: - Ways of Proof Theory
INDEXED IN: CrossRef: 1
IN MY: ORCID
15
TITLE: Characterizing PSPACE with pointers  Full Text
AUTHORS: Isabel Oitavem ;
PUBLISHED: 2008, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 54, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef: 8
IN MY: ORCID | ResearcherID
16
TITLE: Recursion Schemata for NC(k)
AUTHORS: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
17
TITLE: Towards an implicit characterization of NC(k)
AUTHORS: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
18
TITLE: Characterizing NC with tier 0 pointers  Full Text
AUTHORS: Oitavem, I ;
PUBLISHED: 2004, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 50, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 7
IN MY: ORCID | ResearcherID
19
TITLE: Separating NC along the delta axis  Full Text
AUTHORS: Bellantoni, S; Oitavem, I ;
PUBLISHED: 2004, SOURCE: Workshop on Implicit Computational Complexity in THEORETICAL COMPUTER SCIENCE, VOLUME: 318, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID | ResearcherID
20
TITLE: A term rewriting characterization of the functions computable in polynomial space  Full Text
AUTHORS: Oitavem, I ;
PUBLISHED: 2002, SOURCE: Archive for Mathematical Logic, VOLUME: 41, ISSUE: 1
INDEXED IN: Scopus CrossRef: 6
IN MY: ORCID
Page 2 of 3. Total results: 22.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service