01611nlm0 22004571i 450 9900092620104033219783642040276000926201FED01000926201(Aleph)000926201FED0100092620120100926d2009----km-y0itay50------baengDEdrnn-008mamaaComputer Science LogicRisorsa elettronica23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedingsedited by Erich Grädel, Reinhard KahleBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435771Documento elettronicoTestoFormato html, pdfGradel,ErichKahle,ReinhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-04027-6EB990009262010403321AlgebraData processingCoding and Information TheoryCoding theoryComputer scienceComputer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsMathematics of ComputingSymbolic and Algebraic ManipulationComputer Science Logic771972UNINA