Publications
Publicações

Publications

Sequent calculi for the normal terms of the ¿¿- and ¿¿S-calculi.

Sequent calculi for the normal terms of the λΠ- and λΠΣ-calculi.

Electron. Notes Theor. Comput. Sci., | 1998

Um estudo de problemas de redes lineares e não lineares.

Universidade do Porto Faculdade de Ciências | 1998

Prior information preshapes the population representation of movement direction in motor cortex

NeuroReport | 1998

A. Bastian

A. Riehle

G. Schöner

Monoids of orientation-preserving transformations of a finite chain and their presentations

The Monoid of orientation-preserving mappings and their presentations

Internacional Congresse on Semigroups and Applications | 1998

The Monoid of orientation-preserving mappings on a chain

Colchester, Reino Unido: Universidade de Essex | 1998

The Monoid of orientation-preserving mappings on a chain

Invariant differential operators and the Karlhede classification of Petrov type N spacetimes

Analytical and Numerical Approaches to Relativity: Sources of Gravitational Radiation; Publicacions de la Universitat de les Illes Baleares | 1998

Invariant differential operators and the Karlhede classification of type-N non-vacuum solutions

Classical and Quantum Gravity | 1998
DOI

The number of invariant polynomials of amatrix with prescribed complementary principal submatrices

Linear Algebra Appl | 1997

Some free boundary problems in theorical glaciology

The Mathematics of Models for Climatology and Environment | 1997

José Rodrigues

DOI