Proceedings

Jean-Luc Rémy

1 paper in the IJCAI proceedings

IJCAI 1983

Church-Rosser Properties of Weakly Terminating Term Rewriting Systems
with Jean-Pierre Jouannaud, Hélène Kirchner
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards