Publications
Publicações

Publications

Free profinite semigroups over some classes of semigroups locally in DG

International Journal of Algebra and Computation | 2000

Some variations on the notion of locally testable language

Symmetries and the Karlhede classification of type N vacuum solutions

Classical and Quantum Gravity | 2000

E.G.L.R. Vaz

DOI

Wiener-Hopf factorization for a group of exponentials of nilpotent matrices

Linear Algebra and Its Applications | 2000

M.C. Câmara

Density contrast indicators in cosmological dust models

Pramana - Journal of Physics | 2000

R. Tavakol

Initial data and spherical dust collapse

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

R. Tavakol

P.S. Joshi

Revisiting the correspondence between cut elimination and normalisation

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

Pseudovariety joins involving script J sign-trivial semigroups

International Journal of Algebra and Computation | 1999

J. Almeida

M. Zeitoun

A parabolic variational inequality with non-constant gradient constraint

Curvilinear crosscuts of subdivision for a domain decomposition method in numerical conformal mapping

Journal of Computational and Applied Mathematics | 1999

N. Papamichael

N.S. Stylianopoulos

DOI

Sur le transfert de Becker et Gottlieb

Bulletin of the Belgian Mathematical Society - Simon Stevin | 1999

Permutability of proofs in intuitionistic sequent calculi

Theoretical Computer Science | 1999

R. Dyckhoff

DOI

Métodos para Inclusão de Raízes s Simples de uma Equação não linear

Existência de Capacidade Simpletica

Equidistribution of parabolic fixed points in the limit set of Kleinian groups

Ergodic Theory and Dynamical Systems | 1999

Parametric population representation of retinal location: Neuronal interaction dynamics in cat primary visual cortex

Journal of Neuroscience | 1999

D. Jancke

H.R. Dinse

A.C. Akhavan

M. Giese

A. Steinhage

G. Schöner

The distribution of neuronal population activation (DPA) as a tool to study interaction and integration in cortical representations

Journal of Neuroscience Methods | 1999

A. Bastian

D. Jancke

A. Riehle

G. Schöner

DOI

Free Profinite R-trivial, Locally Idempotent and Locally Commutative Semigroups

Semigroup Forum | 1999
DOI

The Monoid of orientation-preserving mappings on a chain

Semigroup Forum | 1999

P.M. Higgins

DOI

Evolution of the density contrast in inhomogeneous dust models

Classical and Quantum Gravity | 1999

R. Tavakol

DOI

On the number of invariant polynomials of the product of matrices with prescribed similarity classes

Linear Algebra Appl. | 1998

Three examples of join computations

Semigroup Forum | 1998

M. Zeitoun

Initial-boundary-value problem for the broadwell model of a gas mixture with bimolecular reaction

Mathematical Methods in the Applied Sciences | 1998

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuit ionist ic Logic

Studia Logica | 1998

R.O.Y. Dyckhoff

DOI