Vortrag zum Thema "FO=FO3 for linear orders with monotone binary relations"

Liebe Theoretiker,
am Donnerstag, dem 22.06.2023, wird Herr Vincent Klimmer im Forschungsseminar des Instituts für Theoretische Informatik einen Vortrag zum Thema "FO=FO3 for linear orders with monotone binary relations" halten. Alle Interessierten sind herzlich eingeladen, daran teilzunehmen. Wir treffen uns um 11 Uhr im Raum Z 2073.

Weitere Informationen zum Forschungsseminar des Instituts für Theoretische Informatik erhalten Sie hier.