Publications
Publicações

Publications

A kinetic approach to propagation and stability of detonation waves

AIP Conference Proceedings | 2009

R. Monaco

M.P. Bianchi

A kinetic model for chemical reactions without barriers

AIP Conference Proceedings | 2009

G.M. Kremer

H-theorem and trend to equilibrium of chemically reacting mixtures of gases

Kinetic and Related Models | 2009

A Fibration Category of Local Pospaces

Electronic Notes in Theoretical Computer Science | 2009
DOI

Continuation-passing style and strong normalisation for intuitionistic sequent calculi

Logical Methods in Computer Science | 2009

Ralph Matthes

Luis Pinto

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

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