Campus Event Calendar
Event Entry
New for: D3
What and Who
Termmengenlogiken
Witold Charatonik
Max-Planck-Institut für Informatik - AG 2
Habilitationsvortrag und Kolloquium
AG 1, AG 2, AG 3, AG 4
Expert Audience
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 14 February 2001
14:15
-- Not specified --
45 - FR 6.1
HS 001
Saarbrücken
Abstract
Zusammenfassung:
Termmengenlogiken beschreiben Relationen zwischen Termmengen. Sie
sind motiviert durch Anwendungen in der Programmanalyse und sind in
den letzten zehn Jahren sehr intensiv untersucht worden. In dem
Vortrag werde ich das Gebiet vorstellen und insbesondere über damit
zusammenhängende Entscheidungsproblem sprechen.
Termmengenlogiken beschreiben Relationen zwischen Termmengen. Sie
sind motiviert durch Anwendungen in der Programmanalyse und sind in
den letzten zehn Jahren sehr intensiv untersucht worden. In dem
Vortrag werde ich das Gebiet vorstellen und insbesondere über damit
zusammenhängende Entscheidungsproblem sprechen.
Contact
Witold Charatonik
--email hidden
passcode not visible
logged in users only