01335nam2-2200373li-450 99000319219020331620180918155411.0978-3-540-92686-3000319219USA01000319219(ALEPH)000319219USA010003192192002009012009-------y0itay0103----baengDELogical foundations of computer scienceInternational symposium, LFCS 2009Deerfield Beach, FL, USA, January 3-6, 2009proceedingsSergei Artemov, Anil Nerode (Eds.)Berlin [etc.]Springercopyr. 2009XI, 467 p.ill.24 cmLecture notes in computer science54072001Lecture notes in computer science0010003149602001Lecture notes in computer scienceLinguaggi di programmazioneCongressiDeerfield Beach2009005.13ARTEMOV,SergeiNERODE,AnilInternational symposium, LFCS 2009<2009;Deerfield>751917ITAsalbcISBD990003192190203316001 LNCS 540737831/CBS00100218121BKSCICBAS1020090130USA011221Logical foundations of computer science1511571UNISA