International Workshop on Hybrid Logic (2007 : Dublin) Bezüge im Wissensnetz Veranstaltungsort (1) GND Dublin