Publications
Publicações

Publications

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
DOI

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

Shorter latencies for motion trajectories than for flashes in population responses of cat primary visual cortex

Journal of Physiology | 2004

D. Jancke

G. Schöner

H.R. Dinse

DOI

The role of action plans and other cognitive factors in motion extrapolation: A modelling study

Visual Cognition | 2004

D. Jancke

DOI

On generalized numerical ranges of operators on an indefinite inner product space

Linear and Multilinear Algebra | 2004

N. Bebiano

R. Lemos

J. Da Providência

Reducibility of joins involving some locally trivial pseudovarieties

Communications in Algebra | 2004
DOI

The N -matrix completion problem under digraphs assumptions

Linear Algebra and Its Applications | 2004

J.R. Torregrosa

A.M. Urbano

DOI

Livro das Atas do Encontro Nacional de Algebristas Portugueses 2004

E. Giraldes

C. Costa

Matching of spatially homogeneous nonstationary space-times to vacuum in cylindrical symmetry

Physical Review D - Particles, Fields, Gravitation and Cosmology | 2004

P. Tod

DOI

Role of anisotropy and inhomogeneity in Lemaitre-Tolman-Bondi collapse

Physical Review D - Particles, Fields, Gravitation and Cosmology | 2004

B.C. Nolan

R. Tavakol

DOI

Confluence and strong normalisation of the generalised multiary lambda-calculus

Annals of the New York Academy of Sciences | 2004

L Pinto

O que é a probabilidade? : interpretações da probabilidade

Kirchhoff-Love plate model vs. Bernoulli-Navier beam model

J.M. Viaño

Uma contribuição para o estudo de problemas de completamento de matrizes

Stability of Equilibria in Equations of Hodgkin-Huxley Type

Real and complex singularities | 2004

Isabel Labouriau

DOI

The N -matrix completion problem under digraphs assumptions

Linear Algebra and Its Applications | 2004

J.R. Torregrosa

A.M. Urbano

DOI

Contradomínios numéricos de operadores em espaços com produtos internos indefinidos

Tameness of the pseudovariety LS1

International Journal of Algebra and Computation | 2004

M.L. Teixeira

DOI