| |
Publications 2013
Papers published in peer review journals - Billhardt, B., Giraldes, E., Marques-Smith, M. P., Mendes Martins, P., “Homomorphisms and congruences on regular semigroups with associate inverse subsemigroups”, Periodica Mathematica Hungarica 66(2) (2013), 221-243 http://hdl.handle.net/1822/
- Billhardt, B., Giraldes, E., Marques-Smith, P., Mendes Martins, P., "A class of unary semigroups admitting a rees matrix representation", Semigroup Forum 87(3) (2013), 639-652 http://hdl.handle.net/1822/23845
Espírito Santo, J., "Towards a canonical classical natural deduction system", Ann. Pure Appl. Logic 164(6) (2013), 618-650
Espírito Santo, J., Matthes, R., Nakazawa, K., Pinto, L., "Monadic translation of classical sequent calculus", Mathematical Structures in Computer Science 23(6) (2013), 1111-1162 http://hdl.handle.net/1822/20889Lebtahi, L., Patricio, P., Thome, N., "Special elements in a ring related to Drazin inverses", Linear and Multilinear Algebra 61(8) (2013), 1017-1027
Mary, X., Patricio, P., "Generalized inverses modulo H in semigroups and rings", Linear and Multilinear Algebra 61(8) (2013), 1130-1135
- Mendes, C., "Fixed Points in MSn-algebras", Houston Journal of Mathematics, 39(2) (2013), 373-386 http://hdl.handle.net/1822/13050
Mendes-Gonçalves, S., Sullivan, R. P., "Regular elements and Green's relations in generalized transformation semigroups", Asian-Eur. J. Math. 6(1) (2013), 1350006, 11 pp
Papers published in proceedings of internacional conferences Espírito Santo, J., Matthes, R., Pinto, L., “A Coinductve approach to proof search”, Proceedings of the 9th Workshop on Fixed Points in Computer Science, September 1, 2012, Torino, Italy, Electronic Proceedings in Theoretical Computer Science 126 (2013), 28-43
Other publications
Barros, P. M., Mendes Araújo, C., Fernandes, J. A., "Raciocínios de estudantes do ensino superior na resoluçãp de tarefas sobre matrizes", proceedings XXIV Seminário de Investigação em Educação Matemática, Associação de Professores de Matemática (2013), 295-308 http://hdl.handle.net/1822/27125Dias, E., Viseu, F., Cunha, M., Martins, P. M., "A natureza das tarefas e o envolvimento dos alunos nas atividades da aula de Matemática~2, in B. B. Silva, L. S. Almeida, A. Barca, M. Peralbo, A. Franco, R. Monginho (orgs.), Atas do XII Congresso Internacional Galego-Português de Psicopedagogia (2013) http://hdl.handle.net/1822/27087Mendes Martins, P., Picado, J., "Análise de um jogo solitário com a ajuda do corpo GF(4)", Boletim da Sociedade Portuguesa de Matemática 69 (2013), 7 pages
|
|