International Workshop on Applications of Kleene Algebra (3 : 2005 : Saint Catharines) Bezüge im Wissensnetz Veranstaltungsort (1) GND Saint Catharines