Isabel Maria Oitavem Fonseca da Rocha Kahle


AuthID: R-000-6CX

Confirmed Publications: 22



21
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
22
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: 22.

footer slogan

Useful Links

Get Help

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