Search results for: Valérie Ménissier-Morain
Information and Computation > 2012 > 216 > Complete > 57-71
Journal of Logic and Algebraic Programming > 2005 > 64 > 1 > 13-39
Journal of Automated Reasoning > 1999 > 23 > 3 > 319-346
Information and Computation > 2012 > 216 > Complete > 57-71
Journal of Logic and Algebraic Programming > 2005 > 64 > 1 > 13-39
Journal of Automated Reasoning > 1999 > 23 > 3 > 319-346