Presentation on "Compiling Existential Positive Queries to Bounded-Variable Fragments"

Dear Theorists,
on Thursday, 23.11.2023, Mr. Prof. Christoph Berkholz will report on his research topic "Compiling Existential Positive Queries to Bounded-Variable Fragments" in the research seminar of the Institute for Theoretical Computer Science. All interested parties are cordially invited to attend. We will meet at 11 am in room Z 2073.

Further information on the research seminar of the Institute for Theoretical Computer Science can be found here.