Sandra Maria Mendes Alves


AuthID: R-000-G8E

Publicações Confirmadas: 55



51
TÍTULO: The power of linear functions
AUTORES: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2006, FONTE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID
52
TÍTULO: Weak linearization of the lambda calculus  Full Text
AUTORES: Alves, S ; Florido, M ;
PUBLICAÇÃO: 2005, FONTE: 2nd Annual Meeting on Applied Semantics in THEORETICAL COMPUTER SCIENCE, VOLUME: 342, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
53
TÍTULO: Linearization by program transformation  Full Text
AUTORES: Alves, S ; Florido, M ;
PUBLICAÇÃO: 2003, FONTE: 13th International Symposium on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, VOLUME: 3018
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
54
TÍTULO: On the Relation between Rank 2 Intersection Types and Simple Types
AUTORES: Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2002, FONTE: APPIA-GULP-PRODE
INDEXADO EM: DBLP
NO MEU: ORCID
55
TÍTULO: Type Inference using Constraint Handling Rules
AUTORES: Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2001, FONTE: WFLP, VOLUME: 64
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
Página 6 de 6. Total de resultados: 55.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service