Fred Mesnard

1. Nontermination inference of logic programs
   2006/03/01 by Étienne Payet, Etienne Payet, Fred Mesnard · 1 citation
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
   2010/04/06 by Roberto Bagnara, Fred Mesnard, Bagnara, Roberto +5 · 1 citation
   Computer Science · #D.2.4 #Data Management and Algorithms #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #cs.LO #cs.PL
3. Towards Relating Ciao Assertions and LPTP Theorems
   2026/07/20 by Marco Pérez, Pedro López-García, Jose F. Morales +2
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Formal Methods in Verification
4. Case study: proving sqrt(2) irrational with LPTP and an LLM
   2026/07/20 by Fred Mesnard, Étienne Payet, Wim Vanhoof
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic
5. Case study: solving P-99 with LPTP and an LLM
   2026/07/20 by Fred Mesnard, Thierry Marianne, Étienne Payet +1
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification