01392nlm0 22003971i 450 9900092445804033219783540727347000924458FED01000924458(Aleph)000924458FED0100092445820100926d2007----km-y0itay50------baengDEdrnn-008mamaaLogical Foundations of Computer ScienceRisorsa elettronicaInternational Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedingsedited by Sergei N. Artemov, Anil NerodeBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434514Documento elettronicoTestoFormato html, pdfArtemov,Sergei N.Nerode,AnilITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-72734-7EB990009244580403321Computer scienceComputer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsLogical Foundations of Computer Science772536UNINA