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