Search results for: Fred Mesnard
Fundamenta Informaticae > 2020 > Vol. 177, nr 3/4 > 359--383
Lecture Notes in Computer Science > Static Analysis > 509-525
Lecture Notes in Computer Science > Logic Programming > Regular Papers > 254-268
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Termination > 231-244
Information Processing Letters > 2015 > 115 > 11 > 882-885
Information and Computation > 2012 > 215 > Complete > 47-67
Electronic Notes in Theoretical Computer Science > 2009 > 253 > 5 > 129-144