Publications
Publicações

Publications

Monadic translation of intuitionistic sequent calculus

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

R. Matthes

DOI

Proof search and counter-model construction for Bi-intuitionistic propositional logic with labelled sequents

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

T. Uustalu

DOI

Proof search in constructive logics.

London Math. Soc. Lecture Note Ser. | 2009

Boundedness and global exponential stability for delayed differential equations with applications

Applied Mathematics and Computation | 2009

T. Faria

DOI

Global asymptotic stability for neural network models with distributed delays

Mathematical and Computer Modelling | 2009
DOI

Ciência com Vistas - uma vis(i)ta multidisciplinar, guia de campo do Professor

Convergence of LR algorithm for a one-point spectrum tridiagonal matrix

Numerische Mathematik | 2009

B. Parlett

DOI

Monadic translation of intuitionistic sequent calculus

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

R. Matthes

L. Pinto

DOI

The λ-calculus and the unity of structural proof theory

Theory of Computing Systems | 2009
DOI

Comparison of filter line search algorithms in the primal-dual barrier approach for nonlinear programming

AIP Conference Proceedings | 2009

E.M.G.P. Fernandes

DOI

Overview on mixed integer nonlinear programming problems

AIP Conference Proceedings | 2009

F.P. Fernandes

E.M.G.P. Fernandas

DOI

Session on numerical optimization

AIP Conference Proceedings | 2009

A.I. Pereira

DOI