Isabel Maria Oitavem Fonseca da Rocha Kahle


AuthID: R-000-6CX

Confirmed Publications: 16



1
TITLE: A recursion-theoretic characterisation of the positive polynomial-time functions
AUTHORS: Das, A; Oitavem, I ;
SOURCE: 27th Annual EACSL Conference Computer Science Logic, CSL 2018 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 119, PUBLISHED: 2018
INDEXED IN: Scopus
2
TITLE: What is Hilbert's 24th Problem?  Full Text
AUTHORS: Reinhard Kahle ; Isabel Oitavem ;
SOURCE: KAIROS-JOURNAL OF PHILOSOPHY & SCIENCE, VOLUME: 20, ISSUE: 1, PUBLISHED: 2018
INDEXED IN: WOS
3
TITLE: Two function algebras defining functions in NCk boolean circuits  Full Text
AUTHORS: Guillaume Bonfante; Reinhard Kahle ; Jean Yves Marion; Isabel Oitavem ;
SOURCE: 4th Workshop on Developments in Implicit Computational Complexity in INFORMATION AND COMPUTATION, VOLUME: 248, PUBLISHED: 2016
INDEXED IN: Scopus WOS CrossRef
4
TITLE: Applicative theories for the polynomial hierarchy of time and its levels  Full Text
AUTHORS: Reinhard Kahle ; Isabel Oitavem ;
SOURCE: Meeting on 3rd Classical Logic and Computation (CLAC) in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 164, ISSUE: 6, PUBLISHED: 2013
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
5
TITLE: Monotonicity Constraints in Characterizations of PSPACE
AUTHORS: Amir M Ben Amram; Bruno Loff ; Isabel Oitavem ;
SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 22, ISSUE: 2, PUBLISHED: 2012
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | ResearcherID
6
TITLE: A recursion-theoretic approach to NP  Full Text
AUTHORS: Oitavem, I ;
SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 162, ISSUE: 8, PUBLISHED: 2011
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
7
TITLE: An applicative theory for FPH  Full Text
AUTHORS: Reinhard Kahle ; Oitavem, I ;
SOURCE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47, PUBLISHED: 2011
INDEXED IN: Scopus CrossRef
IN MY: ORCID
8
TITLE: Logspace without Bounds
AUTHORS: Isabel Oitavem ;
SOURCE: - Ways of Proof Theory, PUBLISHED: 2010
INDEXED IN: CrossRef
IN MY: ORCID
9
TITLE: Characterizing PSPACE with pointers  Full Text
AUTHORS: Isabel Oitavem ;
SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 54, ISSUE: 3, PUBLISHED: 2008
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
10
TITLE: Recursion Schemata for NC(k)
AUTHORS: Guillaume Bonfante; Reinhard Kahle ; Jean Yves Marion; Isabel Oitavem ;
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, PUBLISHED: 2008
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 1 of 2. Total results: 16.

A place for researchers and their institutions

Useful Links

Get Help

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