José Carlos Soares do Espírito Santo
AuthID: R-000-880
31
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
32
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
ORCID33
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
