Вы здесь

Mesnard F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Non-termination Inference for Constraint Logic Prog 2004 Payet E., Mesnard F. Lecture Notes in Computer Science Lecture Notes in Computer Science 22.10.2004
СТ Detecting Optimal Termination Conditions of Logic Programs 2002 Mesnard F., Payet E., Naumerkel U. Lecture Notes in Computer Science 31.10.2002
СТ Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs 2001 Mesnard F., Neumerkel U. Lecture Notes in Computer Science 31.07.2001
СТ Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices 1999 Neumerkel U., Mesnard F. Lecture Notes in Computer Science 27.10.1999
СТ Inferring and Compiling Termination for Constraint Logic Programs 1999 Hoarau S., Mesnard F. Lecture Notes in Computer Science 16.04.1999
СТ Inferring Left-Terminating Classes of Queries for Constraint Logic Programs 1996 Mesnard F. Logic Programming 12.03.1998
СТ Towards Automatic Control for CLP(x) Programs 1996 Mesnard F. Lecture Notes in Computer Science 30.03.1996
СТ CLP(Q) for Proving Interargument Relations 1992 Mesnard F., Ganascia J. -G. Lecture Notes in Computer Science 04.02.1993
СТ Automatic Generation of Valid Linear Mesures for CLP(P) Programs 1992 Mesnard F., Morillon M. BIGRE 05.11.1992
СТ A Propos du controle de la resolution 1991 Mesnard F., Ganascia J. BIGRE 11.12.1991