Luís Filipe Ribeiro Pinto


AuthID: R-000-9GF

Publications Awaiting Confirmation

31
TITLE: CONTINUATION-PASSING STYLE AND STRONG NORMALISATION FOR INTUITIONISTIC SEQUENT CALCULI  Full Text
AUTHORS: Santo, JE; Matthes, R; Pinto, L;
PUBLISHED: 2009, SOURCE: TLCA Conference 2007 in LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 5, ISSUE: 2
INDEXED IN: WOS CrossRef
IN MY: ORCID
32
TITLE: RMrun: peer-to-peer sharing of applications
AUTHORS: Luis Pinto; Tiago Santos; Filipe Araujo;
PUBLISHED: 2008, SOURCE: 2nd Iberian Grid Infrastructure Conference (IBERGRID) in IBERGRID: 2ND IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS
INDEXED IN: WOS
33
TITLE: Milipeia A new computer cluster at the Universidade de Coimbra
AUTHORS: Alberto, P ; Almeida, P; Fiolhais, M ; Oliveira, M; Pinto, L;
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS
INDEXED IN: WOS
34
TITLE: Type-based termination of recursive definitions
AUTHORS: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLISHED: 2004, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID
35
TITLE: Type-based termination of recursive definitions
AUTHORS: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLISHED: 1999, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, ISSUE: 1
INDEXED IN: CrossRef
IN MY: ORCID
36
TITLE: Cut formulae and logic programming
AUTHORS: Luis Pinto;
PUBLISHED: 1994, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 798 LNAI
INDEXED IN: Scopus
IN MY: ORCID
Page 4 of 4. Total results: 36.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service