Higher-order algebra, logic and term rewriting : first International workshop, HOA'93 : Amsterdam, The Netherlands : September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.)

• Record Nr.: UNISA990000204870203316
• Autore: International workshop HOA'93 : 1. : 1993
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1994
• ISBN: 3-540-58233-9
• Descrizione fisica: 344 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 816
• Disciplina: 00513
• Collocazione: 001 LNCS (816)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia