Workshop on Coalgebraic Methods in Computer Science (4 : 2001 : Genua) Bezüge im Wissensnetz Veranstaltungsort (1) GND Genua