José Carlos Soares do Espírito Santo
AuthID: R-000-880
31
TITLE: An isomorphism between a fragment of sequent calculus and an extension of natural deduction
AUTHORS: Santo, JE;
PUBLISHED: 2002, SOURCE: 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
AUTHORS: Santo, JE;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID32
TITLE: Revisiting the correspondence between cut elimination and normalisation
AUTHORS: Santo, JE;
PUBLISHED: 2000, SOURCE: AUTOMATA LANGUAGES AND PROGRAMMING, VOLUME: 1853
AUTHORS: Santo, JE;
PUBLISHED: 2000, SOURCE: AUTOMATA LANGUAGES AND PROGRAMMING, VOLUME: 1853
