|
|
|
Publicações 2007 Artigos publicados em revistas em 2007
- Almeida, J., Costa, J.C. and Zeitoun, M., "Complete reducibility of systems of equations with respect to R", Portugaliae Mathematica 64 (2007), pp. 445-508.
- Giraldes, E., Marques-Smith, P., Mitsch, H., "F-monoids", Communications in Algebra, 35 (8) (2007), pp. 2552-2567.
- Hartwig, R.E. and Patrício, P., "On Roth's pseudo equivalence over rings", Electronic Linear Algebra, 16 (2007), pp. 111-124.
- Marques-Smith, P., Giraldes, E., Mitsch, H., "F-Semigroups", Journal of Algebra and Discrete Mathematics 3 (2007), 67-85
- Mendes, C., "Complemented Congruences on double Ockham Algebras", Algebra Universalis, 56 (2007), 1-16.
Artigos aceites para publicação em revistas- Almeida, J., Costa, J.C., Zeitoun, M., "Complete reducibility of systems of equations with respect to R", aceite em 2007 para publicação em Portugalea Mathematica.
- Almeida, J., Costa, J.C., Zeitoun, M., "Pointlike sets with respect to R and J", aceite em 2007 para publicação em Journal of Pure and Applied Algebra.
- Giraldes E., Marques-Smith P. and Mitsch H., "F-semigroups", aceite em 2007 para
publicação em Journal of Algebra and Discrete Mathematics.
- Marques Smith, P., Sullivan, R.P., "Congruences on
nilpotent-generated partial transformation semigroups" , aceite em 2007 para
publicação em Algebra Colloquium.
- Mendes-Gonçalves, S. , Sullivan, R.P., "The ideal structure of semigroups of linear transformations with lower bounds on their nullity or defect", aceite em 2007 para publicação em Algebra Colloquium.
- Mendes Martins, P., Petrich, M., "Unary semigroups with na associate subgroup", aceite em 2006 para publicação em Communications in Algebra.
- Mendes Martins, P., Petrich, M., "Homomorphisms and congruences of medial semigroups with an associate subgroup", aceite em 2007 para publicação em Communications in Algebra.
Artigos publicados em Actas de Congressos- Almeida, J., Costa, J.C., Zeitoun, M., "Complete reducibility of pseudovarieties", Proceedings of the International Conference Semigroups and Formal Languages in honour of D. McAlister (Lisbon, July, 2005), (Jorge M. André, Mário J. J. Branco, Vítor H. Fernandes, John Fountain, Gracinda M. S. Gomes and John C. Meakin, eds.), World Scientific, 2007, pp. 9-25.
- Espírito Santo, J., “Delayed substitutions”, Proceedings of the 18th International Conference on
Rewriting Techniques and Applications (RTA 2007), Lectures Notes in
Computer Science, vol. 4533, pp 169-183.
- Espírito Santo, J., “Completing Herbelin’s programme”, Proceedings of the 6th International Conference on
Typed Lambda Calculi and Applications (TLCA 2007), Lectures Notes in
Computer Science, vol. 4583, pp 118-132.
- Espírito Santo, J.,“Refocusing generalised normalization”, Proceedings of the Computation and Logic in the Real
World, Third Conference on Computability in Europe (CiE 2007), Lectures
Notes in Computer Science, vol. 4497, pp 258-267.
- Espírito Santo, J., Matthes, R. e Pinto, L., “Continuation-Passing
Style and Strong Normalisation for Intuitionistic Sequent Calculi”, Proceedings of the 6th
International Conference on Typed Lambda Calculi and Applications (TLCA
2007), vol. 4583, pp 133-147, Lectures Notes in Computer Science, vol. 4583, pp 133-147.
- Mendes-Gonçalves, S. , "Isomorphism problems for transformation semigroups", Proceedings of the International Conference Semigroups and Formal Languages in honour of the 65th birthday of Donald B. McAlister (Lisbon, 2005) (eds. AndrŽ, J. M., Fernandes, V. H., Gomes, G. M. S., Branco, M. J. J., Fountain, J., Meakin, J. C.), World Scientific, 2007, 219-229.
Relatórios Técnicos do CMAT de 2007
-
José Espírito Santo, “Delayed substitutions”, Relatório Técnico do CMAT 01/07. (pdf)
-
José Espírito Santo, “Completing Herbelin’s programme”, Relatório Técnico do CMAT 02/07.(pdf)
-
José Espírito Santo, “Refocusing generalised normalization”, Relatório Técnico do CMAT 03/07.(pdf)
-
José Espírito Santo, Ralph Matthes and Luís Pinto,
“Continuation-Passing Style and Strong Normalisation for Intuitionistic
Sequent Calculi”, Relatório Técnico do CMAT 04/07.(pdf)
-
R. E. Hartwig e Pedro Patrício, “On Roth’s pseudo equivalence over rings”, Relatório Técnico do CMAT 05/07. (pdf)
- Maria Paula O. Marques-Smith, R.P. Sullivan. "Congruences on
nilpotent-generated partial transformation semigroups", Relatório Técnico do CMAT 06/07. (pdf)
- Mendes Martins, P., Petrich, M., "Homomorphisms and congruences of medial semigroups with an associate subgroup", Relatório Técnico do CMAT 08/07. (pdf)
- J. Almeida, J. C. Costa and M. Zeitoun, "Complete reducibility of systems of equations with respect to R", Relatório Técnico do CMAT 10/07. (pdf)
- J. Almeida, J. C. Costa and M. Zeitoun, "Pointlike sets with respect o R and J", Relatório Técnico do CMAT 11/07. (pdf)
- E. Giraldes, P. Marques-Smith and H. Mitsch, "F-semigroups", Relatório Técnico do CMAT 13/07. (pdf)
- Suzana
Mendes-Gonçalves and R. P. Sullivan: The ideal structure of semigroups
of linear transformations with lower bounds on their nullity or defect. Relatório Técnico do CMAT 14/07
(pdf)
|
|