01515nlm0 22004331i 450 9900092384104033219783540731474000923841FED01000923841(Aleph)000923841FED0100092384120100926d2007----km-y0itay50------baengDEdrnn-008mamaaRewriting, Computation and ProofRisorsa elettronicaEssays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthdayedited by Hubert Comon-Lundh, Claude Kirchner, Hélène KirchnerBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434600Documento elettronicoTestoFormato html, pdfComon-Lundh,HubertKirchner,ClaudeKirchner,HélèneITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-73147-4EB990009238410403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringRewriting, Computation and Proof772648UNINA