02325nlm0 22006371i 450 9900092602704033219783642017483000926027FED01000926027(Aleph)000926027FED0100092602720100926d2009----km-y0itay50------baengDEdrnn-008mamaaLanguages: From Formal to NaturalRisorsa elettronicaEssays Dedicated to Nissim Francez on the Occasion of His 65th Birthdayedited 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, Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly WintnerBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435533Documento elettronicoTestoFormato html, pdfGrumberg,OrnaHutchison,DavidKaminski,MichaelKanade,TakeoKatz,ShmuelKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardWintner,ShulyITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-01748-3EB990009260270403321Arithmetic and Logic StructuresComputer scienceComputer ScienceInformation theoryLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsTheory of ComputationLanguages: From Formal to Natural774172UNINA