Term Rewriting : French Spring School of theoretical computer science, Font Romeux, France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud (eds.)

• Record Nr.: UNISA990000210690203316
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1995
• ISBN: 3-540-59340-3
• Descrizione fisica: VIII, 221 p. : ill. ; 25 cm
• Collana: Lecture notes in computer science ; 909
• Disciplina: 0051
• Collocazione: 001 LNCS (909)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia