01317nam--2200385---450-99000307786020331620080423124724.03-540-28231-9000307786USA01000307786(ALEPH)000307786USA0100030778620080310d2005----km-y0itay0103----baengDEy---||||001yyComputer science logic19th International workshop, CSL 200514th Annual conference of the EACSLOxford, UK, August 2005proceedingsLuke Ong (Ed.)Berlin [etc.]Springercopyr. 2005XI, 565 p.ill.24 cmLecture notes in computer science36342001Lecture notes in computer science3634InformaticaCongressiOxford2005005.131ONG,LukeInternational workshop, CSL 2006<19.;2005;Oxford>Annual conference of the EACSL<14.;2005;Oxford>ITAsalbcISBD990003077860203316001 LNCS 363432255/CBS00100114558BKSCIANGELA9020080310USA011026ANGELA9020080423USA011247Computer Science Logic771972UNISA