01362nam2-2200385li-450-99000307860020331620080424081522.0978-3-540-72732-3000307860USA01000307860(ALEPH)000307860USA010003078602002008031292007----y0itay0103----baengDELogical foundations of computer scienceInternational symposium, LFCS 2007New York, NY, USA, June 4-7, 2007proceedingsSergei N. Artemov, Anil Nerode (Eds.)Berlin [etc.]Springercopyr. 2007XI, 511 p.ill.24 cmLecture notes in computer science45142001Lecture notes in computer science4514Linguaggi di programmazioneCongressiNew York2007005.13ARTEMOV,Sergei N.NERODE,AnilInternational symposium, LFCS 2007<New York;2007;>752840ITAsalbcISBD990003078600203316001 LNCS 451435064/CBS00100224707BKSCIANGELA9020080312USA010953ANGELA9020080424USA010813ANGELA9020080424USA010815Logical foundations of computer science1514220UNISA