21
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
22
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
23
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: WOS
24
TÍTULO: Implicit characterizations of Pspace
AUTORES: Oitavem, I ;
PUBLICAÇÃO: 2001, FONTE: 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
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
Página 3 de 3. Total de resultados: 24.