Michaël Rusinowitch

CRIN & INRIA-Lorraine BP 239 , 54506 Vandoeuvre-les-Nancy , France

2 papers in the IJCAI proceedings

IJCAI 1993

Automatic Case Analysis in Proof by Induction

with Adel Bouhoula

Details PDF

IJCAI 1987

Complete Inference Rules for the Cancellation Laws

with Jieh Hsiang, Kô Sakai

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings