Luís Filipe Ribeiro Pinto


AuthID: R-000-9GF

Publicações a aguardar confirmação

31
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
32
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
33
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
34
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
35
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
NO MEU: ORCID
36
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: 36.

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