Campus Event Calendar
Event Entry
New for: D3
What and Who
Komplexitätstheorie als Mittlerin zwischen Algorithmen, Automaten und Logik
Heribert Vollmer
Universität Würzburg
Informatik-Kolloquium
AG 1, AG 2, AG 3, AG 4
MPI Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 23 June 2000
13:00
-- Not specified --
45
HS003
Saarbrücken
Abstract
Das Gebiet der Komplexitätstheorie steht in enger Beziehung zur Theorie der effizienten Algorithmen, zur Automatentheorie und zur Logik. Die Nähe dieser Gebiete zeigt sich besonders deutlich bei der Untersuchung einer abstrakten Herangehensweise an verschiedene Berechnungsparadigmen, die wir im Vortrag vorstellen. Mit einer Reihe von Beispielen zeigen wir, wie dadurch jedes der Gebiete bereichert wird durch Bereitstellung von Techniken aus den Nachbardisziplinen. Diese Beispiele betreffen so unterschiedliche Fragestellungen wie Trennungen von Komplexitätsklassen, Algorithmen zur Positionierung von Basistationen in Mobilfunknetzen und Normalformen für verschiedene Logiken mit generalisierten Quantoren.
Contact
Kurt Mehlhorn
0681/9325-100
--email hidden
passcode not visible
logged in users only