Title: Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993
Subjects: Rewriting systems (Computer science), Congresses, Computer science