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