Satellite Workshop on Finite and Algorithmic Model Theory (2006 : Durham) Bezüge im Wissensnetz Veranstaltungsort (1) GND Durham