Publicações 2004

Artigos em revistas

• Barthe, G., Frade, M.J., Gimémez, E., Pinto, L., Uustalu, T., "Type-based termination of recursive definitions", Mathematical Structures in Computer Science, 14:97-141, 2004. (v. repositorium)
  
• Costa, José Carlos, Reducibility of joins involving some locally trivial pseudovarieties, Communications in Algebra, 32:3517-3535, 2004.
• Costa, José Carlos and Teixeira, Maria de Lurdes, Tameness of the pseudovariety LSl, International Journal of Algebra and Computation, 14:627-654, 2004.
• Marques-Smith, M. Paula O., Giraldes, E. and Mitsch, H., F-Regular semigroups, Journal of Algebra, 274:491-510, 2004.
• Mendes Araújo, Cláudia, Torregrosa, Juan Ramón and Urbano, Ana M., The N-matrix completion problem under digraphs assumptions, Linear Algebra and its Applications, 380:213-225, 2004. (v. repositorium)
• Mendes-Gonçalves, Suzana and Sullivan, R.P., Baer-Levi semigroups of linear transformations, The Royal Society of Edinburgh Proceedings A (Mathematics), 134A:477-499, 2004. (v. repositorium)
• Patrício, Pedro and Puystjens, R., Generalized invertibility in two semigroups of a ring, Linear Algebra and its Applications, 377:125-139, 2004. (v. repositorium)
• Patrício, Pedro and Puystjens, R., Drazin-Moore-Penrose invertibility in rings, Linear Algebra and its Applications, 389:159-173, 2004. (v. repositorium)
• Pinto, Fernanda and Sullivan, R.P., Baer-Levi Semigroups of Partial Transformations, Bulletin of the Australian Mathematical Society, 69:87-106, 2004.

Artigos em Actas de Congressos

• Pinto, Luís and Espírito Santo, José, Confluence and strong normalisation of the generalised multiary lambda-calculus, Revised selected papers from the International Workshop TYPES 2003, Lecture Notes in Computer Science, Springer, 3085, pp. 194-209, 2004.

• José Espírito Santo and Luís Pinto, "Confluence and Strong Normalisation of the Generalised Multiary λ-calculus", Relatório Técnico do CMAT 01/04.
• Pedro Patrício and Roland Puystjens, "Drazin-Moore-Penrose invertibility in rings", Relatório Técnico do CMAT 02/04.
• R. E. Hartwig, P. Patrício and R. Puystjens, "Diagonalizing triangular matrices via orthogonal Pierce decompositions", Relatório Técnico do CMAT 03/04.
• C. Mendes Araújo, Juan R. Torregrosa and Ana M. Urbano, "The doubly negative matrix completion problem", Relatório Técnico do CMAT 06/04.
• Suzana Mendes-Gonçalves and R. P. Sullivan, "Inverse Semigroups generated by linear transformations", Relatório Técnico do CMAT 08/04.
• E. Giraldes, P. Marques-Smith and H. Mitsch, "Generalized F-Semigroups", Relatório Técnico do CMAT 12/04.