Leo Bachmair

1 paper in the IJCAI proceedings

IJCAI 1995

Experiments with Associative-Commutative Discrimination Nets

with Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings