Jean-Luc Rémy

CRIN et Greco de Programmation Campus Scientifique BP 239 F54506 Vandoeuvre les Nancy Cedex

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

Future Conferences

AI Journal Division

IJCAI Proceedings