Les publications du Laboratoire

Les publications parues en 1992

Communications avec actes dans un congrès international

  1. Frédéric Mesnard et Jean-Gabriel Ganascia — CLP(Q) for Proving Interargument Relations, Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings, pp. 308-320, publication dirigée par Alberto Pettorossi, Springer, 1992.

Communications avec actes dans un congrès national

  1. Frédéric Mesnard et Jean-Gabriel Ganascia — CLP(X) for proving prgram properties, JFPL'92, 1$^ères$ Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France, 328-, publication dirigée par Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu et Pascal Yim, 1992.

Communications orales sans actes dans un congrès international ou national

  1. Frédéric Mesnard et Marianne Morillon — Automatic Generation of Valid Linear Measures for CLP(Q) Programs, WSA, pp. 29-34, 1992.