António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações Confirmadas: 64



41
TÍTULO: Linear Recursion PDF
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1001.3368
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
42
TÍTULO: Linearity and iterator types for Gödel's System ℐ
AUTORES: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLICAÇÃO: 2010, FONTE: Higher-Order and Symbolic Computation, VOLUME: 23, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
43
TÍTULO: Preface  Full Text
AUTORES: Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
44
45
TÍTULO: Collaborative Schema Construction using Regular Sequence Types
AUTORES: Jorge Coelho ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2008, FONTE: IEEE International Conference on Information Reuse and Integration in PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
46
TÍTULO: Minimality in a Linear Calculus with Iteration
AUTORES: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
47
TÍTULO: Iterator types
AUTORES: Sandra Alves ; Maribel Fernndez; Mario Florido ; Ian Mackie;
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 | DBLP | CIÊNCIAVITAE
48
TÍTULO: Linear recursive functions
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2007, FONTE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in Rewriting, Computation and Proof: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY, VOLUME: 4600
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
49
TÍTULO: Sequence disunification and its application in Collaborative Schema Construction
AUTORES: Coelho, J ; Florido, M ; Kutsia, T;
PUBLICAÇÃO: 2007, FONTE: 8th International Conference on Web Information Systems Engineering (WISE 2007) in WEB INFORMATION SYSTEMS ENGINEERING - WISE 2007 WORKSHOPS, VOLUME: 4832
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
50
TÍTULO: The Power of Closed Reduction Strategies
AUTORES: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 174, NÚMERO: 10 SPEC. ISS.
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 5 de 7. Total de resultados: 64.

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

Links Úteis

Ajuda

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