01564nam2-2200421li-450 99000020511020331620180312154624.03-540-62718-90020511USA010020511(ALEPH)000020511USA01002051120001109d1997----km-y0itay0103----baengGWLogic program synthesis and transformation6th International workshop, LOPSTR'96Stockholm, Sweden, August 1996proceedingsJohn Gallagher (ed.)Berlin [etc.]Springer-Verlagcopyr. 1997VI, 324 p.ill23 cmLecture notes in computer science120700100202642001Lecture notes in computer sciencecongressistoccolma1996elaboratori elettroniciprogrammazionecongressi1996logica matematicacongressi19960051Programmazione. Tecnica di sviluppo dei programmiGallagher,JohnInternational workshop LOPSTR'966.Stoccolma1996745684Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205110203316001 LNCS (1207)002000200100103984BKSCI1997041720001110USA011714ALANDI9020010202USA01103120020403USA011628PATRY9020040406USA011615Logic program synthesis and transformation1487539UNISA