Universidade do Minho  

           
 
  Autenticação/Login
 
Contacts
Site Map
   
  print
 


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)
 

 

 
  © 2017 Universidade do Minho  - Legal Terms  - updated by CMAT Símbolo de Acessibilidade na Web D.