António Mário da Silva Marcos Florido


AuthID: R-000-2CH

Publicações Confirmadas: 64



11
TÍTULO: Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
12
TÍTULO: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTORES: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLICAÇÃO: 2020, FONTE: IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
13
TÍTULO: A Three-Valued Semantics for Typed Logic Programming PDF  Full Text
AUTORES: João Barbosa ; Mário Florido ; Vítor Santos Costa ;
PUBLICAÇÃO: 2019, FONTE: 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 in Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019., VOLUME: 306
INDEXADO EM: Scopus DBLP arXiv CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
14
TÍTULO: Type Inference for Rank 2 Gradual Intersection Types
AUTORES: Ângelo, Pedro ; Mário Florido ;
PUBLICAÇÃO: 2019, FONTE: 20th International Symposium on Trends in Functional Programming, TFP 2019 in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, VOLUME: 12053
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
15
TÍTULO: Pattern-based calculi with finitary matching
AUTORES: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2018, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
16
17
TÍTULO: Non-Blocking Concurrent Imperative Programming with Session Types PDF  Full Text
AUTORES: Miguel Silva ; Mario Florido ; Frank Pfenning ;
PUBLICAÇÃO: 2017, FONTE: 4th International Workshop on Linearity, LINEARITY 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, NÚMERO: 238
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
18
TÍTULO: Preface
AUTORES: Vivek Nigam; Mário Florido ;
PUBLICAÇÃO: 2017, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 332
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
19
TÍTULO: Type-Based Cost Analysis for Lazy Functional Languages  Full Text
AUTORES: Steffen Jost; Pedro Vasconcelos ; Mario Florido ; Hammond, Kevin ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
20
TÍTULO: CLP(H): Constraint logic programming for hedges
AUTORES: Dundua, B ; Florido, M ; Kutsia, T;
PUBLICAÇÃO: 2016, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 2 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