Publications
Publicações

Publications

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

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

Linear Algebra and Its Applications | 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