|
|
|
|
|
Uma nota sobre normalização forte em dedução natural clássica
Data: 21 de junho (3.ª feira), 14h30m.
Local: Sala de Seminários (B4009), DMA, Campus de Gualtar, Braga.
Orador: José Carlos Espírito Santo (CMAT & DMA)
mais informações em
|
Multiplicity Lists for Symmetric Matrices whose Graphs Have Few Missing Edges
Data: 6 de Maio, 14h30m.
Local: Sala de Seminários (B4009), DMA, Campus de Gualtar, Braga.
Orador: Zhang Yulin (CMAT & DMA)
mais informações em
|
The inverse along an element in semigroups and rings
Data: 11 de Março, 14h30m.
Local: Sala de Seminários (B4009), DMA, Campus de Gualtar, Braga.
Orador: Huihui Zhu (Department of Mathematics, Southeast University, Nanjing, China, and CMAT)
mais informações em
|
|
|