David A. Plaisted

Computer Science Department University of North Carolina Chapel Hill , NC 27599-3175

2 papers in the IJCAI proceedings

IJCAI 1997

Equational Reasoning using AC Constraints

with Yunshan Zhu

Details PDF

IJCAI 1983

Associative-Commutative Rewriting

with Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings