LEADER 02343nlm0 22006251i 450 001 990009260830403321 010 $a9783642023484 035 $a000926083 035 $aFED01000926083 035 $a(Aleph)000926083FED01 035 $a000926083 100 $a20100926d2009----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aRewriting Techniques and Applications$bRisorsa elettronica$e20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings$fedited 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 Treinen 210 $aBerlin ; Heidelberg$cSpringer$d2009 225 1 $aLecture Notes in Computer Science$x0302-9743$v5595 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aHutchison,$bDavid 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aMattern,$bFriedemann 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPandu Rangan,$bC. 702 1$aSteffen,$bBernhard 702 1$aSudan,$bMadhu 702 1$aTerzopoulos,$bDemetri 702 1$aTreinen,$bRalf 702 1$aTygar,$bDoug 702 1$aVardi,$bMoshe Y. 702 1$aWeikum,$bGerhard 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-02348-4 901 $aEB 912 $a990009260830403321 961 $aAlgebra$aData processing 961 $aComputational complexity 961 $aComputer science 961 $aComputer Science 961 $aDiscrete Mathematics in Computer Science 961 $aLogic design 961 $aLogic, Symbolic and mathematical 961 $aLogics and Meanings of Programs 961 $aMathematical Logic and Formal Languages 961 $aMathematical Logic and Foundations 961 $aProgramming Languages, Compilers, Interpreters 961 $aSymbolic and Algebraic Manipulation 996 $aRewriting Techniques and Applications$9774195 997 $aUNINA