01330nam--2200385---450-99000307307020331620080418140020.03-540-45458-6000307307USA01000307307(ALEPH)000307307USA0100030730720080303d2006----km-y0itay0103----baengDE||||||||001yyComputer science logic15th International workshop, CSL 200615th Annual conference of the EACSLSzeged, Hungary, September 2006proceedingsZoltàn Esik (Ed.)Berlin [etc.]Springercopyr. 2006XII, 626 p.ill.24 cmLecture notes in computer science42072001Lecture notes in computer science4207InformaticaCongressiSzeged2006005.131ESIK,ZoltànInternational workshop, CSL 2006<20;Szeged2006;>Annual Conference of the EACSL<15;2006;Szeged>ITACBSISBD990003073070203316001 LNCS 420734322/CBS00100217132BKSCIANGELA9020080303USA010901ANGELA9020080418USA011400Computer Science Logic771972UNISA