Pierre Lescanne

• Algebraic and logic programming
• Rewriting techniques and applications
• Rewriting Techniques and Applications
• Rewriting Techniques and Applications
• Algebraic and logic programming