01402nam2-2200397li-450 99000020265020331620180312154838.03-540-57787-40020265USA010020265(ALEPH)000020265USA01002026520001109d1994----km-y0itay0103----baengGWGraph transformations in computer scienceinternational workshop, Dagstuhl Castle, Germany, January 1993proceedingsHans Jürgen Schneider (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994VIII, 394 p.ill.24 cmLecture notes in computer science77600100202642001Lecture notes in computer sciencecongressidagstuhl castel1993graficongressi19935113Logica simbolica (Logica matematica)Schneider,Hans JürgenSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202650203316001 LNCS (776)001632100100103083BKSCI1995032820001110USA011714ALANDI9020010130USA01113420020403USA011628PATRY9020040406USA011615Graph transformations in computer science1381952UNISA