ML Anthology

Rémy, Jean-Luc

1 publications

IJCAI 1983 Church-Rosser Properties of Weakly Terminating Term Rewriting Systems Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy