Universidade do Minho    
 
  Universidade do Minho
http://www.cmat.uminho.pt
 
print   close
 



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 


  © 2024, Universidade do Minho