Conditional term rewriting systems : third International workshop, CTRS'92 : Pont-à-Mousson, France, July 8-10, 1992 : proceedings / M. Rusinowitch, (ed.)

• Record Nr.: UNISA990000204810203316
• Autore: International workshop CTRS-92 : 3. : 1992
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1993
• ISBN: 3-540-56393-8
• Descrizione fisica: XI, 501 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 656
• Disciplina: 0066
• Collocazione: 001 LNCS (656)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia