Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993 / edited by Hubert Comon and Jean-Pierre Jouannaud

French spring school of Theoretical Computer Science(1993 :

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993 / edited by Hubert Comon and Jean-Pierre Jouannaud - - Berlin Springer-Verlag 1995 - viii,221 p. 23.5 cm - Lecture notes in computer science ; v.909 .

3-540-59340-33



Rewriting systems(Computer science)-Congresses

681.3.06:51 Fre:93

Powered by Koha