Investigating the finite-cliquewidth-model property of C².
From International Center for Computational Logic
Investigating the finite-cliquewidth-model property of C².
Talk by Vincent Peth
- Location: APB room 3027
- Start: 6. July 2023 at 11:00 am
- End: 6. July 2023 at 12:00 pm
- Event series: Research Seminar Logic and AI
- iCal
Abstract: I will try to explain to you the results of my internship on 2-variable logics (with counters) and how it interfaces with the cliquewidth notion.
The talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:
https://bbb.tu-dresden.de/b/pio-zwt-smp-aus