01561nlm0 22004451i 450 9900092376304033219783540318767000923763FED01000923763(Aleph)000923763FED0100092376320100926d2005----km-y0itay50------baengDEdrnn-008mamaaAlgebra and Coalgebra in Computer ScienceRisorsa elettronicaFirst International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedingsedited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan RuttenBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433629Documento elettronicoTestoFormato html, pdfFiadeiro,José LuizHarman,NeilRoggenbach,MarkusRutten,JanITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11548133EB990009237630403321AlgebraData processingComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationAlgebra and Coalgebra in Computer Science772274UNINA