José Carlos Soares do Espírito Santo


AuthID: R-000-880

Publicações Confirmadas: 18



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: Towards a canonical classical natural deduction system  Full Text
AUTORES: Santo, JE ;
PUBLICAÇÃO: 2013, FONTE: Meeting on 3rd Classical Logic and Computation (CLAC) in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 164, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: Characterising Strongly Normalising Intuitionistic Terms
AUTORES: Santo, JE ; Ivetic, J; Likavec, S;
PUBLICAÇÃO: 2012, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 121, NÚMERO: 1-4
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID
4
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
5
TÍTULO: A note on preservation of strong normalisation in the lambda-calculus  Full Text
AUTORES: Santo, JE ;
PUBLICAÇÃO: 2011, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, NÚMERO: 11
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
6
TÍTULO: Towards a Canonical Classical Natural Deduction System  Full Text
AUTORES: Santo, JE ;
PUBLICAÇÃO: 2010, FONTE: Annual Conference of the European Association for Computer Science Logic in COMPUTER SCIENCE LOGIC, VOLUME: 6247
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
7
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
NO MEU: ORCID
8
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
9
TÍTULO: The lambda-Calculus and the Unity of Structural Proof Theory  Full Text
AUTORES: Jose Espirito Santo ;
PUBLICAÇÃO: 2009, FONTE: 3rd Computability in Europe Conference 2007 in THEORY OF COMPUTING SYSTEMS, VOLUME: 45, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
10
TÍTULO: Characterising strongly normalising intuitionistic sequent terms
AUTORES: Espirito E Santo ; Ghilezan, S; Ivetic, J;
PUBLICAÇÃO: 2008, FONTE: International Conference on Types for Proofs and Programs (TYPES 2007) in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4941
INDEXADO EM: WOS
NO MEU: ORCID
Página 1 de 2. Total de resultados: 18.

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