Isabel Maria Oitavem Fonseca da Rocha Kahle


AuthID: R-000-6CX

Confirmed Publications: 24



21
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
22
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
23
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: WOS
IN MY: ResearcherID
24
TITLE: Implicit characterizations of Pspace
AUTHORS: Oitavem, I ;
PUBLISHED: 2001, SOURCE: International Seminar on Proof Theory in Computer Science, PTCS 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2183
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
Page 3 of 3. Total results: 24.

footer slogan

Useful Links

Get Help

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