Publications
Publicações

Publications

Dihedral f-tilings of the sphere by spherical triangles and equiangular well-centered quadrangles

Beitrage zur Algebra und Geometrie | 2004

A.M. D'Azevedo Breda

Drazin-Moore-Penrose invertibility in rings

Linear Algebra and Its Applications | 2004

R. Puystjens

DOI

Generalized invertibility in two semigroups of a ring

Linear Algebra and Its Applications | 2004

P. Patrício

DOI

Variables, limits, and infinitesimals in Portugal in the late 18th century

Historia Mathematica | 2004
DOI

Convergence of convex sets with gradient constraint

Journal of Convex Analysis | 2004

Lagrangian intersections, critical points and Qcategory

Mathematische Zeitschrift | 2004

P.-M. Moyaux

DOI

Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004

Type-based termination of recursive definitions

Mathematical Structures in Computer Science | 2004

G. Barthe

M.J. Frade

E. Giménez

T. Uustalu

DOI

Sobre métodos de multiplicadores baseados em funções de lagrangeano aumentado.

Confluence and Strong Normalisation of the Generalised Multiary λ-Calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004

L. Pinto

Baer-Levi semigroups of linear transformations

Royal Society of Edinburgh - Proceedings A | 2004

R.P. Sullivan

Tameness of the pseudovariety LS1

International Journal of Algebra and Computation | 2004