|
|
|
|
|
Publicações 2011
Artigos em revistas com arbitragem
- Araújo, C. Mendes, Torregrosa, Juan R., “Sign pattern matrices that admit P_0-matrices”, Linear Algebra and Its Applications 435 (2011), 2046-2053, http://hdl.handle.net/1822/13501
- Billhardt, B., Giraldes, E., Marques-Smith, P., Mendes Martins, P., "Some orthodox monoids with associate inverse subsemigroups", Communications in Algebra 39(1) (2011), 32-49
- Espírito Santo, J., “A note on preservation of strong normalisation in the lambda-calculus”, Theoretical Computer Science 412 (2011), 1027-1032
- Espírito Santo, J., Pinto, L., "A calculus of multiary sequent terms", ACM Transactions on Computational Logic 12(3) (2011), article 22 (41 pages) (DOI: 10.1145/1929954.1929959)
- Mendes-Gonçalves, S., Sullivan, R.P., "The ideal structure of semigroups of transformations with restricted range", Bulletin of the Australian Mathematical Society 83(2), 289-300
Artigos em atas de congressos- Pinto, L., Uustalu, T., "Relating sequent calculi for bi-intuitionistic propositional calculi", Proceedings of 3rd Workshop on Classical Logic and Computation, van Bakel, S., Berardi, S., Berger, U Eds., Electronic Proceedings in Theoretical Computer Science 47, 55-72, 2011
Outras publicações- Mendes Martins, P., Otero-Espinar, V., "MathCampus - a completely new experience", Bulletin of CIM, 29 (2011)
|
|