01526nlm0 22004331i 450 9900092431304033219783540738596000924313FED01000924313(Aleph)000924313FED0100092431320100926d2007----km-y0itay50------baengDEdrnn-008mamaaAlgebra and Coalgebra in Computer ScienceRisorsa elettronicaSecond International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedingsedited by Till Mossakowski, Ugo Montanari, Magne HaveraaenBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434624Documento elettronicoTestoFormato html, pdfHaveraaen,MagneMontanari,UgoMossakowski,TillITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-73859-6EB990009243130403321AlgebraData processingComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringSymbolic and Algebraic ManipulationAlgebra and Coalgebra in Computer Science772274UNINA