Term rewriting : French Spring School of Theoretical omputer Science, Font Romeux, France, May 17-21, 1993 : advanced course /
Term rewriting : French Spring School of Theoretical omputer Science, Font Romeux, France, May 17-21, 1993 : advanced course /
Hubert Comon and Jean-Pierre Jouannaud (eds.)
- Berlin : Springer-Verlag, 1995
- 221 p.
- Lecture notes in computer science ; no. 909 .
3540593403
Computer science--Congresses
Rewriting systems (Computer science)--Congresses
QA75.5 / F74 1993
3540593403
Computer science--Congresses
Rewriting systems (Computer science)--Congresses
QA75.5 / F74 1993

AI Search