Jos\'e Esp\'irito Santo (Centro de Matem\'atica

Identifiers

• name variant Jos\'e Esp\'irito Santo (Centro de Matem\'atica 0.60 · backfill

Papers (2)

1. A note on strong normalization in classical natural deduction cs.LO · 2016 · author #1
2. A Coinductive Approach to Proof Search cs.LO · 2013 · author #1

Mentions

• 1309.0892 #1 · backfill · confidence 0.70 Jos\'e Esp\'irito Santo (Centro de Matem\'atica

Frequent Coauthors

• Braga 1 shared papers
• C.N.R.S. 1 shared papers
• France) 1 shared papers
• Lu\'is Pinto (Centro de Matem\'atica 1 shared papers
• Portugal) 1 shared papers
• Ralph Matthes (Institut de Recherche en Informatique de Toulouse (IRIT) 1 shared papers
• Universidade do Minho 1 shared papers
• Universidade do Minho) 1 shared papers
• University of Toulouse 1 shared papers