Luís Filipe Ribeiro Pinto


AuthID: R-000-9GF

Publicações Confirmadas: 13



1
TÍTULO: Monadic translation of classical sequent calculus
AUTORES: Santo, JE ; Matthes, R; Nakazawa, K; Pinto, L ;
PUBLICAÇÃO: 2013, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 23, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ORCID
2
TÍTULO: A Calculus of Multiary Sequent Terms  Full Text
AUTORES: Jose Espirito Santo ; Luis Pinto ;
PUBLICAÇÃO: 2011, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 12, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: Monadic Translation of Intuitionistic Sequent Calculus
AUTORES: Jose Espirito Santo ; Ralph Matthes; Luis Pinto ;
PUBLICAÇÃO: 2009, FONTE: International Conference of the TYPES 2008 in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 5497
INDEXADO EM: WOS
4
TÍTULO: Monadic translation of intuitionistic sequent calculus
AUTORES: Espirito Santo, J ; Matthes, R; Pinto, L ;
PUBLICAÇÃO: 2009, FONTE: International Conference on Types for Proofs and Programs, TYPES 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5497 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
5
TÍTULO: Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
AUTORES: Luis Pinto ; Tarmo Uustalu;
PUBLICAÇÃO: 2009, FONTE: 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, VOLUME: 5607
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
6
TÍTULO: Continuation-passing style and strong normalisation for intuitionistic sequent calculi
AUTORES: Jose Espirito Santo ; Ralph Matthes; Luis Pinto ;
PUBLICAÇÃO: 2007, FONTE: 8th International Conference on Typed Lambda Calculi and Applications in Typed Lambda Calculi and Applications, Proceedings, VOLUME: 4583
INDEXADO EM: Scopus WOS
NO MEU: ORCID
7
TÍTULO: Structural proof theory as rewriting
AUTORES: Santo, JE ; Frade, MJ ; Pinto, L ;
PUBLICAÇÃO: 2006, FONTE: 17th International Conference on Rewriting Techniques and Applications in TERM REWRITING AND APPLICATIONS, PROCEEDINGS, VOLUME: 4098
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID
8
TÍTULO: Model checking embedded systems with PROMELA
AUTORES: Ribeiro, OR; Fernandes, JM ; Pinto, LF ;
PUBLICAÇÃO: 2005, FONTE: 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems in 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
9
TÍTULO: Confluence and strong normalisation of the generalised multiary lambda-calculus
AUTORES: Santo, JE ; Pinto, L ;
PUBLICAÇÃO: 2004, FONTE: 3rd Annual Workshop of the Types-Working-Group (TYPES 2003) in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 3085
INDEXADO EM: Scopus WOS
NO MEU: ORCID
10
TÍTULO: Permutative conversions in intuitionistic multiary sequent calculi with cuts
AUTORES: Santo, JE ; Pinto, L ;
PUBLICAÇÃO: 2003, FONTE: 6th International Conference on Typed Lambda Calculi and Applications (TLCA 2003) in TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, VOLUME: 2701
INDEXADO EM: Scopus WOS CrossRef: 10
NO MEU: ORCID
Página 1 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