José Carlos Soares do Espírito Santo
AuthID: R-000-880
31
TÃTULO: Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus
AUTORES: José Espírito Santo; Luís Pinto;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science - Types for Proofs and Programs
AUTORES: José Espírito Santo; Luís Pinto;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science - Types for Proofs and Programs
32
TÃTULO: An isomorphism between a fragment of sequent calculus and an extension of natural deduction Full Text
AUTORES: Santo, JE;
PUBLICAÇÃO: 2002, FONTE: 9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, VOLUME: 2514
AUTORES: Santo, JE;
PUBLICAÇÃO: 2002, FONTE: 9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, VOLUME: 2514
33
TÃTULO: An isomorphism between a fragment of sequent calculus and an extension of natural deduction
AUTORES: Santo, JE;
PUBLICAÇÃO: 2002, FONTE: 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2514
AUTORES: Santo, JE;
PUBLICAÇÃO: 2002, FONTE: 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2514
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID34
TÃTULO: Revisiting the correspondence between cut elimination and normalisation
AUTORES: Santo, JE;
PUBLICAÇÃO: 2000, FONTE: AUTOMATA LANGUAGES AND PROGRAMMING, VOLUME: 1853
AUTORES: Santo, JE;
PUBLICAÇÃO: 2000, FONTE: AUTOMATA LANGUAGES AND PROGRAMMING, VOLUME: 1853
