01633nlm0 22004571i 450 9900092617204033219783642037412000926172FED01000926172(Aleph)000926172FED0100092617220100926d2009----km-y0itay50------baengDEdrnn-008mamaaAlgebra and Coalgebra in Computer ScienceRisorsa elettronicaThird International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedingsedited by Alexander Kurz, Marina Lenisa, Andrzej TarleckiBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435728Documento elettronicoTestoFormato html, pdfKurz,AlexanderLenisa,MarinaTarlecki,AndrzejITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-03741-2EB990009261720403321AlgebraData processingComputation by Abstract DevicesComputational complexityComputer scienceComputer ScienceDiscrete Mathematics in Computer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesModels and PrinciplesSymbolic and Algebraic ManipulationAlgebra and Coalgebra in Computer Science772274UNINA