Algebra and coalgebra in computer science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings - CALCO; Fiadeiro, José Luiz; Harman, Neil; Roggenbach, Markus; Rutten Jan (Springer, 2005)
Keywords: Computer science; Congresses; Mathematics