Les publications du Laboratoire

Les publications parues en 1995

Articles dans des revues internationales ou nationales avec comité de lecture répertoriées par l’AERES

  1. Philippe Charton et Valérie Perrier — A pseudo-wavelet scheme for the two-dimensional Navier-Stokes equations, Comput. Appl. Math., Vol. 15(2), pp. 701–747, 1995.

Communications avec actes dans un congrès international

  1. Frédéric Mesnard — Towards Automatic Control for CLP(x) Programs, Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 106-119, publication dirigée par Maurizio Proietti, Springer, 1995.

Communications avec actes dans un congrès national

  1. Frédéric Mesnard et Sébastien Hoarau — Contrôle dynamique de la résolution pour les programmes logiques avec contraintes, JFPLC'95, IVèmes Journées Francophones de Programmation en Logique & Journée d'étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France, pp. 259-273, publication dirigée par Jean-Jacques Chabrier, 1995.