|
|
|
|
|
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
|
|
|