Frédéric Mesnard - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2008

Recurrence with affine level mappings is P-time decidable for CLP(R)Frédéric Mesnard, Alexander Serebrenik. tplp, 8(1):111-119, 2008. [doi]

2004

On Termination of Binary CLP ProgramsAlexander Serebrenik, Frédéric Mesnard. LOPSTR 2005: 231-244 [doi]

2003

Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003Frédéric Mesnard, Alexander Serebrenik, editors, Volume CW371 of Report, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium), 2003.