Universidade do Minho  

           
 
  Autenticação/Login
 
Contacts
Site Map
   
  print
 





2015 

Curry-Howard isomorphism for sequent calculus
José Carlos Espírito Santo (DMA & CMAT, UMinho)
22nd of June 2015, 02:30pm
Room 2106, Pedagogical Complex II, Campus of Gualtar, Braga
more information 

Uma classe de semigrupos ordenados
Carla Mendes (CMAT & DMA, UMinho)
25th of May 2015, 02:30pm
Seminars Room (B4009), DMA, Campus of Gualtar, Braga
more information 

O algoritmo "Arithmetic-Geometric Mean" para matrizes
Rui Ralha (CMAT & DMA, UMinho)
20th of April 2015, 02:30pm
Seminars Room (B4009), DMA, Campus of Gualtar, Braga
more information 

Pointlike reductibility of pseudovarieties of the form V*D
Lurdes Teixeira (CMAT & DMA, UMinho)
10th of February 2015, 02:30pm
Seminars Room (B4009), DMA, Campus of Gualtar, Braga
more information 


 
  © 2017 Universidade do Minho  - Legal Terms  - updated by CMAT Símbolo de Acessibilidade na Web D.