01447nam--2200385---450 99000184545020331620180312154827.03-540-40801-0000184545USA01000184545(ALEPH)000184545USA0100018454520040713d2003----km-y0ITAy0103-------baengDEComputer science logic17. International workshop, CSL 200312. annual conference of the EACSL8. Kurt Gödel Colloquium, KGC 2003Vienna, Austria, August 2003proceedingsMatthias Baaz, Johann A. Makowsky (Eds.)Berlin [etc.]Springercopyr. 2003XII, 590 p.ill.24 cmLecture notes in computer science28032001Lecture notes in computer science2803Elaboratori elettroniciProgrammazioneCongressi2003Logica matematicaCongressi2003005.1BAAZ,MatthiasMAKOWSKY,Johann A.International workshop, CSL 2002 <17. ; 2003 ; Vienna , Austria >564267Annual conference of the EACSL <12. ; 200. ; Vienna , Austria >ITACBSISBD990001845450203316001 LNCS 28030030237/CBS00100114100BKSCIRIVELLI9020040713USA010945Computer science logic949577UNISA