On the Intersection of Datalog and Guarded Second-Order Logic
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Manuel Bodirsky - , Professur für Algebra und Diskrete Strukturen (Redner:in)
Datum
Juni 2022
Beschreibung
presentation at the Logic group, Fachbereich Mathematik, TU DarmstadtVerknüpfte externe Organisation
Organisation | Technische Universität Darmstadt |
---|