01495nam2-2200397li-450 99000111262020331620180312154825.03-540-44310-X000111262USA01000111262(ALEPH)000111262USA010001112622002002122002-------y0itay0103----baENGGWGraph transformationFirst international Conference, ICGT 2002Barcelona, Spain, October 7-12, 2002proceedingsAndrea Corradini...<et.al> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2002XI, 457 p.ill.24 cmLecture notes in computer science250500100202642001Lecture notes in computer sciencegraficongressi2002511.3Logica simbolica (Logica matematica)Corradini,AndreaInternational Conference ICGT 2002 <1. ; 2002 ; Barcelona , Spain >753746Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990001112620203316001 LNCS (2505)0027335 CBS00100113214BKSCIDIGIUSEPPE9020021206USA011219DIGIUSEPPE9020021206USA011220DIGIUSEPPE9020021209USA011300DIGIUSEPPE9020021209USA011300PATRY9020040406USA011717Graph transformation1516301UNISA