02669nam0 22005293i 450 AQ1000787720251003044041.00387582339New York3540582339Berlin20111031d1994 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierHigher-order algebra, logic and term rewritingfirst international workshop, HOA '93Amsterdam, The Netherlands, September 23-24, 1993selected papersJan Heering ... [et al.] (eds.)Berlin [etc.]Springerc1994344 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis816Nella pref.: International workshop on higher-order algebra, logic and term rewriting001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis816702 1Goos, GerhardAQ1V006441340Logica simbolicaCongressi1994FIRNAPC242562ILogica matematicaCongressi1994FIRNAPC242563IInformaticaCongressi1994FIRNAPC242164I005.1015113Programmazione. Principi matematici. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>ConvegniCongressi e convegniScienza degli elaboratoriCongressiConvegniCongressiCongressi e convegniCongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniInformaticaScienza degli elaboratoriHeering, JanAQ1V004242International workshop on higher-order algebra, logic and term rewriting <1. ; 1993 ; Amsterdam>AQ1V004241756596HOA <1. ; 1993 ; Amsterdam>AQ1V004243International workshop on higher-order algebra, logic and term rewriting <1. ; 1993 ; Amsterdam>ITIT-00000020111031IT-BN0095 AQ10007877Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000023645 VMA FD816 v. 816Y 1996030120111031 01Higher-order algebra, logic and term rewriting1525537UNISANNIO