Hubert Comon

• Rewriting techniques and applications
• Rewriting Techniques and Applications
• Rewriting, Computation and Proof
• Term rewriting
• Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993
• Activite Numerique No.913-914
• Computer Aided Verification
• Constraints in computational logics
• Constraints in Computational Logics : Theory and Applications