Dagstuhl-Seminar "Automata Theory and Applications in Logic Complexity" (1991 : Wadern) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern