|
|
|
|
|
Articles in scientific journals
- 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.
Articles in proceedings of conferences with referee- 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.
Tecnical Reports of CMAT of 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)
|
|