.:. Consultation > Par années > 1991 .:.

289 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 20 - 21 - 22 - 23 - 24 - 25 - 26 ...

Sub-groups of Zn, standard basis, and linear diophantine systems Pottier L. N° RR-1510 (1991) [inria-00075052 - version 1]

The Gilbreath trick : a case study in axiomatisation and proof development in the Coq proof assistant Huet G. N° RR-1511 (1991) [inria-00075051 - version 1]

Absorbing boundary conditions for wave equations, curvature and finite elements Tuomela J. N° RR-1513 (1991) [inria-00075049 - version 1]

Time-varying feedback stabilization of nonholonomic car-like mobile robots Samson C. N° RR-1515 (1991) [inria-00075048 - version 1]

Classification of random walks in Z Ignatyuk I., Malyshev V. A. A. N° RR-1516 (1991) [inria-00075046 - version 1]

Comparison of the mixture and the classification maximum likelihood in cluster analysis Celeux G., Govaert G. N° RR-1517 (1991) [inria-00075045 - version 1]

Automatic analysis and transformation of FORTRAN programs using a typed functional language Rostaing N., Dalmas S. N° RR-1518 (1991) [inria-00075044 - version 1]

Application of Bellen's parallel method to ode's with dissipative right-hand side Chartier P. N° RR-1519 (1991) [inria-00075043 - version 1]

Parallel simulation of stochastic Petri nets using recursive equations Baccelli F., Canales M. N° RR-1520 (1991) [inria-00075042 - version 1]

Encoding dependent types in an intuitionistic logic Felty A. N° RR-1521 (1991) [inria-00075041 - version 1]