Jieh Hsiang

Department of Computer Science SUNY at Stony Brook Stony Brook , NY 11794 U.S.A.

2 papers in the IJCAI proceedings

IJCAI 1987

Complete Inference Rules for the Cancellation Laws

with Michaël Rusinowitch, Kô Sakai

Details PDF

IJCAI 1983

Associative-Commutative Rewriting

with Nachum Dershowitz, N. Alan Josephson, David A. Plaisted

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings