Universidade do Minho  

       
 
  Autenticação/Login
 
Contacts
Site Map
   
  print
 
back 
Relações entre cálculo de sequentes e dedução natural
MSc student: Jorge Manuel Martins Correia
Advisors: José Carlos Espírito Santo
                    Luís Filipe Ribeiro Pinto
Local: Universidade do Minho
back 
 
 
  © 2019 Universidade do Minho  - Legal Terms  - updated by DMA Símbolo de Acessibilidade na Web D.