01460nam2-2200409---450-99000314550020331620080929094055.0978-3-540-69405-2000314550USA01000314550(ALEPH)000314550USA0100031455020080917d2008----km-y0itay50------baengDEa---||||001yyLogic and theory of algorithms4th conference on computability in europe, CiE 2008Athens, Greece, June 15-20, 2008ProceedingsArnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (Eds.)Berlin [etc.]Springercopyr. 2008XIX, 596 p.ill.24 cmLecture notes in computer science50282001Lecture notes in computer science0010003149602001Lecture notes in computer scienceInformaticaCongressiAthens2008004BECKMANN,ArnoldDIMITRACOPOULOS,CostasLOWE,BenediktConference on computability in Europe, CiE 2008<4.;2008;Athens>602117ITsalbcISBD990003145500203316001 LNCS 502837138/CBS00100217525BKSCICBAS1020080917USA010920CBAS1020080929USA010940Logic and theory of algorithms1018566UNISA