01363nam2-2200385---450-99000314269020331620080926165217.0978-3-540-73857-2000314269USA01000314269(ALEPH)000314269USA0100031426920080910d2007----km-y0itay0103----baengDEa|||||||001yyAlgebra and Coalgebra in Computer Science2nd International Conference, CALCO 2007Bergen, Norway, August 20-24, 2007proceedingsTill Mossakowski...[et al.](eds.)Berlin [etc.]Springercopyr. 2007XI, 461 p.ill.24 cm.Lecture notes in computer science46242001Lecture notes in computer science0010003149602001Lecture notes in computer scienceAlgebraCongressiBergen2007005.1MOSSAKOWSKI,TillInternational Conference, CALCO 2007<2. ;2007 ;Bergen>602043ITsalbcISBD990003142690203316001 LNCS 462435220/CBS00100224672BKSCICBAS1020080910USA011405ANGELA9020080926USA011652Algebra and Coalgebra in Computer Science1016374UNISA