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