António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações Confirmadas: 66



61
TÍTULO: CLP(Flex): Constraint logic programming applied to XML processing
AUTORES: Coelho, J ; Florido, M ;
PUBLICAÇÃO: 2004, FONTE: On the Move Confederated International Workshop and Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPLS, DOA, AND ODBASE, PT 2, PROCEEDINGS, VOLUME: 3291
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
62
TÍTULO: Linearization of the lambda-calculus and its relation with intersection type systems
AUTORES: Florido, M ; Damas, L ;
PUBLICAÇÃO: 2004, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 14, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
63
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 | DBLP | CIÊNCIAVITAE
64
TÍTULO: Type-based XML processing in logic programming
AUTORES: Coelho, J ; Florido, M ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
65
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 | DBLP | CIÊNCIAVITAE
66
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 | DBLP | CIÊNCIAVITAE
Página 7 de 7. Total de resultados: 66.

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