On the Intersection of Datalog and Guarded Second-Order Logic
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Manuel Bodirsky - , Chair of Algebra and Discrete Structures (Speaker)
Date
Jun 2022
Description
presentation at the Logic group, Fachbereich Mathematik, TU DarmstadtRelated external organisation
| Organisation | Technische Universität Darmstadt |
|---|