01447nam--2200385---450 99000111337020331620180312154826.03-540-44240-5000111337USA01000111337(ALEPH)000111337USA0100011133720021209d2002----km-y0ITAy0103-------baENGDEComputer science logic16th International workshop, CSL 200211th annual conference of the EACSLEdinburgh, Scotland, UK, September 22-25, 2002proceedingsJulian Bradfield (ed.)Berlin [etc.]Springer-Verlagcopyr. 2002XII, 611 p.ill.20 cmLecture notes in computer science24712001Lecture notes in computer science2471Elaboratori elettroniciProgrammazioneCongressi2002Logica matematicaCongressi2002005.1Bradfield,JulianInternational workshop, CSL 2002 <16. ; 2002 ; Edinburgh , Scotland >554465Annual conference of the EACSL <11. ; 2002 ; Edinburgh , Scotland >ITACBSISBD990001113370203316001 LNCS (2471)0027366 CBS00100113183BKSCIDIGIUSEPPE9020021209USA011241PATRY9020040406USA011717Computer science logic981268UNISA