| |
Curry-Howard isomorphism for sequent calculus
José Carlos Espírito Santo (DMA & CMAT, UMinho)
22 de junho de 2015, 14:30
Sala 2106, Complexo Pedagógico II, Campus de Gualtar, Braga
mais informações em
|
Uma classe de semigrupos ordenados
Carla Mendes (CMAT & DMA, UMinho)
25 de maio de 2015, 14:30
Sala de Seminários (B4009), DMA, Campus de Gualtar, Braga
mais informações em
|
O algoritmo "Arithmetic-Geometric Mean" para matrizes
Rui Ralha (CMAT & DMA, UMinho)
20 de abril de 2015, 14:30
Sala de Seminários (B4009), DMA, Campus de Gualtar, Braga
mais informações em
|
Pointlike reductibility of pseudovarieties of the form V*D
Lurdes Teixeira (CMAT & DMA, UMinho)
10 de fevereiro de 2015, 14:30
Sala de Seminários (B4009), DMA, Campus de Gualtar, Braga
mais informações em
|
|
|