Sandra Maria Mendes Alves


AuthID: R-000-G8E

Publicações Confirmadas: 55



41
42
TÍTULO: A new graphical calculus of proofs  Full Text
AUTORES: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: TERMGRAPH, VOLUME: 48
INDEXADO EM: DBLP CrossRef: 8
NO MEU: ORCID
43
TÍTULO: Linearity and Recursion in a Typed Lambda-Calculus
AUTORES: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2011, FONTE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
44
TÍTULO: Godel's system T revisited  Full Text
AUTORES: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2010, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 11-13
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID
45
TÍTULO: Linear Recursion
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1001.3368
INDEXADO EM: DBLP
NO MEU: ORCID
46
TÍTULO: Linearity and iterator types for Gödel's System
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: High. Order Symb. Comput., VOLUME: 23, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
47
TÍTULO: Iterator types
AUTORES: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Fundamental Approaches to Software Engineering in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, VOLUME: 4423
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
48
TÍTULO: Linear recursive functions  Full Text
AUTORES: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2007, FONTE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in REWRITING, COMPUTATION AND PROOF, VOLUME: 4600
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
49
TÍTULO: Minimality in a Linear Calculus with Iteration
AUTORES: Sandra Alves ; Mário Florido ; Ian Mackie; François Régis Sinot;
PUBLICAÇÃO: 2007, FONTE: WRS@RDP, VOLUME: 204, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
50
TÍTULO: The Power of Closed Reduction Strategies
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2006, FONTE: WRS@FLoC, VOLUME: 174, NÚMERO: 10 SPEC. ISS.
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
Página 5 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