Luís Filipe Ribeiro Pinto


AuthID: R-000-9GF

Publicações a aguardar confirmação

31
TÍTULO: H-1-second order convergent estimates for non-Fickian models  Full Text
AUTORES: Barbeiro, S ; Ferreira, JA ; Pinto, L;
PUBLICAÇÃO: 2011, FONTE: APPLIED NUMERICAL MATHEMATICS, VOLUME: 61, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 13
32
TÍTULO: Relating sequent calculi for Bi-intuitionistic propositional logic  Full Text
AUTORES: Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2011, FONTE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
33
TÍTULO: CONTINUATION-PASSING STYLE AND STRONG NORMALISATION FOR INTUITIONISTIC SEQUENT CALCULI  Full Text
AUTORES: Santo, JE; Matthes, R; Pinto, L;
PUBLICAÇÃO: 2009, FONTE: TLCA Conference 2007 in LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 5, NÚMERO: 2
INDEXADO EM: WOS CrossRef
NO MEU: ORCID
34
TÍTULO: RMrun: peer-to-peer sharing of applications
AUTORES: Luis Pinto; Tiago Santos; Filipe Araujo;
PUBLICAÇÃO: 2008, FONTE: 2nd Iberian Grid Infrastructure Conference (IBERGRID) in IBERGRID: 2ND IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS
INDEXADO EM: WOS
35
TÍTULO: Milipeia A new computer cluster at the Universidade de Coimbra
AUTORES: Alberto, P ; Almeida, P; Fiolhais, M ; Oliveira, M; Pinto, L;
PUBLICAÇÃO: 2007, FONTE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS
INDEXADO EM: WOS
36
TÍTULO: Type-based termination of recursive definitions
AUTORES: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2004, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID
37
TÍTULO: Type-based termination of recursive definitions
AUTORES: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLICAÇÃO: 1999, FONTE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, NÚMERO: 1
INDEXADO EM: CrossRef: 61
NO MEU: ORCID
38
TÍTULO: Cut formulae and logic programming
AUTORES: Luis Pinto;
PUBLICAÇÃO: 1994, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 798 LNAI
INDEXADO EM: Scopus
NO MEU: ORCID
Página 4 de 4. Total de resultados: 38.

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

Links Úteis

Ajuda

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