02343nlm0 22006251i 450 9900092608304033219783642023484000926083FED01000926083(Aleph)000926083FED0100092608320100926d2009----km-y0itay50------baengDEdrnn-008mamaaRewriting Techniques and ApplicationsRisorsa elettronica20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 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, Ralf TreinenBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435595Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTreinen,RalfTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-02348-4EB990009260830403321AlgebraData processingComputational complexityComputer scienceComputer ScienceDiscrete Mathematics in Computer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsProgramming Languages, Compilers, InterpretersSymbolic and Algebraic ManipulationRewriting Techniques and Applications774195UNINA