Proceedings

Rakesh M. Verma

1 paper in the IJCAI proceedings

IJCAI 1995

Unique Normal Forms and Confluence of Rewrite Systems: Persistence
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards