Luís Filipe Ribeiro Pinto


AuthID: R-000-9GF

Publicações Confirmadas: 13



11
TÍTULO: Preface
AUTORES: Barthe, G; Dybjer, P; Pinto, L ; Saraiva, J ;
PUBLICAÇÃO: 2002, FONTE: International Summer School on Applied Semantics, APPSEM 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2395 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
12
TÍTULO: Permutability of proofs in intuitionistic sequent calculi  Full Text
AUTORES: Dyckhoff, R; Pinto, L ;
PUBLICAÇÃO: 1999, FONTE: Gentzen Conference in THEORETICAL COMPUTER SCIENCE, VOLUME: 212, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
13
TÍTULO: Cut-Elimination and a Permutation-Free Sequent Calculus for Intuit ionist ic Logic  Full Text
AUTORES: Dyckhoff, ROY; Pinto, L ;
PUBLICAÇÃO: 1998, FONTE: Studia Logica, VOLUME: 60, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
Página 2 de 2. Total de resultados: 13.

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