02276nlm0 22006131i 450 9900092588904033219783540926870000925889FED01000925889(Aleph)000925889FED0100092588920100926d2009----km-y0itay50------baengDEdrnn-008mamaaLogical Foundations of Computer ScienceRisorsa elettronicaInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sergei Artemov, Anil NerodeBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435407Documento elettronicoTestoFormato html, pdfArtemov,SergeiHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNerode,AnilNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-92687-0EB990009258890403321AlgebraData processingArithmetic and Logic StructuresComputer scienceComputer ScienceInformation theoryLogic, Symbolic and mathematicalMathematical Logic and Formal LanguagesMathematical Logic and FoundationsSymbolic and Algebraic ManipulationTheory of ComputationLogical Foundations of Computer Science772536UNINA