Gilda Ferreira (CMAF, UL) |
Introdução ao Cálculo de Dedução Natural - análise dos conectivos
|
2007-10-15 |
Gracinda Gomes (CAUL/Mat. FCUL) |
Some classes of factorizable semigroups
|
2007-06-12 |
Ana Escada (CMUC/Mat. FCTUC) |
The locality of some subpseudovarieties of DG
|
2007-03-27 |
Christophe Van Olmen (CMUC/FCT) |
Pointfree, but not pointless, approach theory
|
2007-01-31 |